Index: trunk/FACT++/src/Shell.h
===================================================================
--- trunk/FACT++/src/Shell.h	(revision 14084)
+++ trunk/FACT++/src/Shell.h	(revision 14085)
@@ -63,4 +63,5 @@
     bool Process(const std::string &str);
 
+    void Lock() { }
     void Run(const char * = "")
     {
@@ -68,4 +69,5 @@
         ReadlineWindow::Run();
     }
+    void Unlock() { }
 
     WindowLog &GetStreamOut() { return wout; }