# HG changeset patch
# User greg
# Date 1253278702 -7200
# Node ID 9b1801ef99b5ae70379e9b7b5c1ccdaf70b72f71
# Parent  44909ffb2cc652b6f1e5636edfec9c6089208e43
fix runtime.py filename case to avoid problem on multi-platform

diff -r 44909ffb2cc6 -r 9b1801ef99b5 runtime/PLCObject.py
--- 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