2013-08-15 Muhammad Bilal <mbilal@codesourcery.com>

PR cli/15841
	* top.c (quit_force): Skip writing history file
	if input is not from terminal.
This commit is contained in:
Muhammad Bilal 2013-08-15 08:18:31 +00:00
parent 2e53f7d601
commit 35ab155d37
2 changed files with 8 additions and 1 deletions

View File

@ -1,3 +1,9 @@
2013-08-15 Muhammad Bilal <mbilal@codesourcery.com>
PR cli/15841
* top.c (quit_force): Skip writing history file
if input is not from terminal.
2013-08-14 Tom Tromey <tromey@redhat.com>
* remote.c (struct remote_state) <echo_nextthread, nextthread,

View File

@ -1433,7 +1433,8 @@ quit_force (char *args, int from_tty)
/* Save the history information if it is appropriate to do so. */
DO_TRY
{
if (write_history_p && history_filename)
if (write_history_p && history_filename
&& input_from_terminal_p ())
write_history (history_filename);
}
DO_PRINT_EX;