From ea10f91bf8f60b1ba581f224c104fb87c9ad7498 Mon Sep 17 00:00:00 2001
From: Johannes Findeisen <you@hanez.org>
Date: Sat, 19 Oct 2013 02:07:05 +0200
Subject: [PATCH] uncommented EOF command. do we need it?

---
 linspector/frontends/lish.py | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/linspector/frontends/lish.py b/linspector/frontends/lish.py
index 738090a..66555c3 100644
--- a/linspector/frontends/lish.py
+++ b/linspector/frontends/lish.py
@@ -80,8 +80,9 @@ class Exit(CommandBase, object):
     def help_exit(self):
         print("exits linspector")
 
-    do_EOF = do_exit
-    help_EOF = help_exit
+    #TODO: do we really need this: ???
+    #do_EOF = do_exit
+    #help_EOF = help_exit
 
 
 class LogCommander(Cmd, object):