From 40cd88e9f764b600f6cf6e8cf94f3709bb18aabd Mon Sep 17 00:00:00 2001 From: Sei Lisa Date: Sat, 5 Jan 2019 00:09:50 +0100 Subject: [PATCH] Minor pickiness Even if the last char is a backslash, if we're inside a double quoted string, report unterminated string on EOF. --- run-tests.py | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/run-tests.py b/run-tests.py index 1fc2fc6..872bb60 100755 --- a/run-tests.py +++ b/run-tests.py @@ -99,7 +99,7 @@ def parseArgs(s): State = Space args.append(arg) arg = '' - # else remain in state Space + # else remain in the 'Space' state elif c == '\n': break else: @@ -129,9 +129,9 @@ def parseArgs(s): else: arg += c - if State in (SQuote, DQuote): + if State in (SQuote, DQuote, DQBackslash): raise EArgError(u"Unterminated string in .run file") - if State in (SBackslash, NBackslash, DQBackslash): + if State in (SBackslash, NBackslash): raise EArgError(u"Backslash before EOF in .run file") if State == Normal: