--- 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