runtime/PLCObject.py
changeset 398 31d08063b5d6
parent 393 af20e07e53c5
parent 391 9b1801ef99b5
child 400 2c786431fe72
--- 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