beremiz

fix runtime.py filename case to avoid problem on multi-platform

2009-09-18, greg
9b1801ef99b5
fix runtime.py filename case to avoid problem on multi-platform
import time,sys
def myprintfunc(arg):
print arg
sys.stdout.flush()
return arg