diff -r 6a7ff66a811d -r 31d08063b5d6 runtime/PLCObject.py --- a/runtime/PLCObject.py Mon Sep 21 12:00:52 2009 +0200 +++ b/runtime/PLCObject.py Mon Sep 21 12:12:08 2009 +0200 @@ -187,7 +187,7 @@ for filename in os.listdir(self.workingdir): name, ext = os.path.splitext(filename) - if name.startswith("runtime") and ext == ".py": + if name.upper().startswith("RUNTIME") and ext.upper() == ".PY": try: # TODO handle exceptions in runtime.py # pyfile may redefine _runtime_cleanup