bugfix - retrieving URL was broken
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Mon, 10 Dec 2007 10:05:24 +0000 (10:05 +0000)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Mon, 10 Dec 2007 10:05:24 +0000 (10:05 +0000)
system/TestMain.py

index 69f2691..f3e3e15 100755 (executable)
@@ -47,7 +47,7 @@ myplc-url defaults to the last value used, as stored in URL"""
                 url=self.args[0]
             else:
                 try:
-                    url=open("%s/URL"%self.path)
+                    url_file=open("%s/URL"%self.path)
                     url=url_file.read().strip()
                     url_file.close()
                 except: