Explorar el Código

filter out non-string args

David hace 10 años
padre
commit
46a7977465
Se han modificado 1 ficheros con 1 adiciones y 0 borrados
  1. 1 0
      pmanager/pmanager.py

+ 1 - 0
pmanager/pmanager.py

@@ -142,6 +142,7 @@ class PManager:
         log("Launching! key: %s, opts: %s" % (key, options))
         tolaunch = self.ptable[key]
         if options is not None:
+            options = [ o for o in options if type(o) is str ]
             tolaunch = tolaunch + options
     
         log(tolaunch)