beremiz

Parents 44909ffb2cc6
Children 31d08063b5d6
fix runtime.py filename case to avoid problem on multi-platform
--- a/runtime/PLCObject.py Fri Sep 18 14:30:57 2009 +0200
+++ b/runtime/PLCObject.py Fri Sep 18 14:58:22 2009 +0200
@@ -212,7 +212,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