Prints ^C in CLI mode when Ctrl+C is pressed

2015-02-19 12:57:02 +01:00 · 2015-02-19 12:57:02 +01:00 · 06c5047c8f
commit 06c5047c8f
parent 991b0d9942
1 changed files with 1 additions and 1 deletions
--- a/relational_readline/linegui.py
+++ b/relational_readline/linegui.py
@ -322,7 +322,7 @@ def main(files=[]):
            if isinstance(line, str) and len(line) > 0:
                exec_line(line)
        except KeyboardInterrupt:
-            print ()
+            print ('^C\n')
            continue
        except EOFError:
            print ()