From f9deefe326c4591e31d396e5180f1fbb37d4f518 Mon Sep 17 00:00:00 2001
From: Holger Vogt <holger.vogt@uni-due.de>
Date: Fri, 6 Sep 2019 22:41:52 +0200
Subject: [PATCH] Skip '\r' when reading lines from a file

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

diff --git a/src/frontend/inpcom.c b/src/frontend/inpcom.c
index b96d3b05c..8c41e8ade 100644
--- a/src/frontend/inpcom.c
+++ b/src/frontend/inpcom.c
@@ -1404,6 +1404,8 @@ static char *readline(FILE *fd)
         if (strlen == 0 && (c == '\t' || c == ' ')) /* Leading spaces away */
             continue;
 
+        if (c == '\r')
+            continue;
         strptr[strlen++] = (char) c;
 
         if (strlen >= memlen) {