Handle Ctrl-d, the *nix way to quit.

Signed-off-by: Arun Prakash Jana <engineerarun@gmail.com>
2016-03-10 18:03:54 +05:30 · 2016-03-10 18:03:54 +05:30 · 5a3b5daa01
commit 5a3b5daa01
parent be3c1cf7c7
1 changed files with 5 additions and 1 deletions
--- a/6
+++ b/6
@ -307,7 +307,11 @@ def searchdb(cur, keywords):
    print("")

    while True:
-        nav = input("Result number to open: ")
+        try:
+            nav = input("Result number to open: ")
+        except EOFError:
+            return
+
        if is_int(nav):
            index = int(nav) - 1
            if index < 0: