From 74dc437a7e7644e18d3cc6192f92d2f92a394106 Mon Sep 17 00:00:00 2001
From: "Jason S. Ninneman" <jsn@mbar.us>
Date: Wed, 24 May 2017 22:31:26 -0700
Subject: [PATCH] Stop command-logging from non-stdin sources.

---
 misc.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/misc.c b/misc.c
index 3243f1e..3bca473 100644
--- a/misc.c
+++ b/misc.c
@@ -892,7 +892,7 @@ long I, VAL;
 		if (logfp)
 			fclose(logfp);
 	} else {
-		if (logfp)
+		if (logfp && OPENED == stdin)
 			IGNORE(fputs(INLINE+1, logfp));
 		else if (!isatty(0)) {
 			IGNORE(fputs("> ", stdout));
-- 
2.31.1