From 06c5047c8f16131ce7413fa01e3b901821f970a6 Mon Sep 17 00:00:00 2001
From: Salvo 'LtWorf' Tomaselli <tiposchi@tiscali.it>
Date: Thu, 19 Feb 2015 12:57:02 +0100
Subject: [PATCH] Prints ^C in CLI mode when Ctrl+C is pressed

---
 relational_readline/linegui.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/relational_readline/linegui.py b/relational_readline/linegui.py
index d01c65d..70f3786 100644
--- 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 ()