diff -r 3bd617ae7a05 -r 701c0601db02 tests/python/runtime.py
--- a/tests/python/runtime.py	Wed Jan 14 16:41:14 2009 +0100
+++ b/tests/python/runtime.py	Wed Jan 14 19:25:53 2009 +0100
@@ -1,4 +1,5 @@
-import time
+import time,sys
 def myprintfunc(arg):
     print arg
+    sys.stdout.flush()
     return arg