[NXCDB] Add support for CTRL-D

Author: François REYNAUD

nxc/nxcdb.py

@@ -512,6 +512,11 @@ def help_workspace():
     def do_exit(line):
         sys.exit()
 
+    @staticmethod
+    def do_EOF(line):
+        sys.exit()
+
+
     @staticmethod
     def help_exit():
         help_string = """