micro-optimizations

diff --git a/webinterface/src/webif.py b/webinterface/src/webif.py
index 3893899..2aa9c6c 100644 (file)
--- a/webinterface/src/webif.py
+++ b/webinterface/src/webif.py
@@ -39,16 +39,17 @@ class OneTimeElement(Element):
                self.source_id = id
 
        def handleCommand(self, args):
-               if self.source_id.find(",") >= 0:
+               if ',' in self.source_id:
                        paramlist = self.source_id.split(",")
                        list = {}
                        for key in paramlist:
                                arg = args.get(key, [])
-                               if len(arg) == 0:
+                               Len = len(arg)
+                               if Len == 0:
                                        list[key] = None
-                               elif len(arg) == 1:
+                               elif Len == 1:
                                        list[key] = "".join(arg)
-                               elif len(arg) == 2:
+                               elif Len == 2:
                                        list[key] = arg[0]
                        self.source.handleCommand(list)
                else:
@@ -558,4 +559,4 @@ def requestFinish(handler, request):
        handler.cleanup()
        request.finish()        
        
-       del handler
\ No newline at end of file
+       del handler