From 7a1218cc0e91056c03beb33189b962c80010664b Mon Sep 17 00:00:00 2001
From: Holger Vogt <holger.vogt@uni-due.de>
Date: Tue, 6 Nov 2018 19:06:01 +0100
Subject: [PATCH] fix ouput redirection for 'print' command

---
 src/frontend/inpcom.c | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/src/frontend/inpcom.c b/src/frontend/inpcom.c
index b2271e963..1d7c612fe 100644
--- a/src/frontend/inpcom.c
+++ b/src/frontend/inpcom.c
@@ -1031,10 +1031,12 @@ inp_read(FILE *fp, int call_depth, char *dir_name, bool comfile, bool intfile)
             }
             else if (ciprefix("print", buffer)) {
                 /* lower case excluded for tokens following output redirection '>' */
+                bool redir = FALSE;
                 for (s = buffer; *s && (*s != '\n'); s++) {
                     if (*s == '>')
-                        break;
-                    *s = tolower_c(*s);
+                        redir = TRUE; /* do not lower, but move to end of string */
+                    if (!redir)
+                        *s = tolower_c(*s);
                 }
             }
             else {