Index: trunk/FACT++/src/Console.cc
===================================================================
--- trunk/FACT++/src/Console.cc	(revision 14070)
+++ trunk/FACT++/src/Console.cc	(revision 14071)
@@ -233,4 +233,11 @@
 {
     while (!IsStopped())
-        usleep(10000);
-}
+    {
+        const string buf = GetExternalInput();
+        SetExternalInput("");
+        if (!buf.empty())
+            ProcessLine(buf);
+
+        usleep(100000);
+    }
+}