git://git.onelab.eu / plcapi.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 1efbb84)
Already scoped properly.
authorDaniel Hokka Zakrisson <dhokka@cs.princeton.edu>
Sat, 16 Oct 2010 23:10:05 +0000 (19:10 -0400)
committerDaniel Hokka Zakrisson <dhokka@cs.princeton.edu>
Sat, 16 Oct 2010 23:10:05 +0000 (19:10 -0400)
PLC/Auth.py patch | blob | history

diff --git a/PLC/Auth.py b/PLC/Auth.py
index 0ef2942..dde0280 100644 (file)
--- a/PLC/Auth.py
+++ b/PLC/Auth.py
@@ -350,5 +350,4 @@ for extension in extensions:
     if not extension.endswith(".py"):
         continue
     execfile("%s/%s" % (path, extension))
-del extension
 del extensions
plcapi