# HG changeset patch
# User tkragelj
# Date 1260969235 -3600
# Node ID 2a3ab252b4e0f59e074d179543e36ef3b5042089
# Parent  68375ccdf96889a353403a0248720b85d4a446fd# Parent  20141c30a160380f8e2d2e5d04f3b5ee066b9e5b
Changes merged

diff -r 20141c30a160 -r 2a3ab252b4e0 LPCBeremiz.py
--- a/LPCBeremiz.py	Wed Dec 16 13:37:50 2009 +0100
+++ b/LPCBeremiz.py	Wed Dec 16 14:13:55 2009 +0100
@@ -804,6 +804,7 @@
         self.KillLocalRuntime()
         
         print "Closed"
+        sys.stdout.flush()
         
         event.Skip()
 
@@ -1301,6 +1302,7 @@
             args_toks = line.split('"')
             if len(args_toks) % 2 == 0:
                 print "Error: Invalid command"
+                sys.stdout.flush()
                 return
             args = []
             for num, arg in enumerate(args_toks):
@@ -1327,16 +1329,19 @@
                     print "Error: 1 argument%s expected" % extra
                 else:
                     print "Error: %d arguments%s expected" % (number, extra)
+                sys.stdout.flush()
                 return
             for num, arg in enumerate(args):
                 try:
                     args[num] = arg_types[num](arg)
                 except:
                     print "Error: Invalid value for argument %d" % (num + 1)
+                    sys.stdout.flush()
                     return
             res = getattr(self, function)(*args)
             if isinstance(res, (StringType, UnicodeType)):
                 print res
+                sys.stdout.flush()
                 return False
             else:
                 return res