From: Muhammad Bilal <mbilal@sourceware.org>
Date: Thu, 15 Aug 2013 08:18:31 +0000 (+0000)
Subject: 2013-08-15  Muhammad Bilal  <mbilal@codesourcery.com>
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=35ab155d372b1cf4d57a889acacd3913fbc9d793;p=binutils-gdb.git

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.
---

diff --git a/gdb/ChangeLog b/gdb/ChangeLog
index 13bc9b48056..ea013235ef3 100644
--- a/gdb/ChangeLog
+++ b/gdb/ChangeLog
@@ -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,
diff --git a/gdb/top.c b/gdb/top.c
index 33a78da84c5..516ffb9f7c5 100644
--- a/gdb/top.c
+++ b/gdb/top.c
@@ -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;