plugger.py
changeset 423 4d7ac355701d
parent 421 c9ec111ad275
child 427 7ac746c07ff2
--- a/plugger.py	Mon Oct 19 16:26:15 2009 +0200
+++ b/plugger.py	Thu Oct 22 11:26:45 2009 +0200
@@ -1287,7 +1287,7 @@
                       "__publish_%s();"%locstrs[i-1] for i in xrange(len(locstrs), 0, -1)]),
                 "init_calls":"\n    ".join([
                       "init_level=%d; "%(i+1)+
-                      "if(res = __init_%s(argc,argv)){"%locstr +
+                      "if((res = __init_%s(argc,argv))){"%locstr +
                       #"printf(\"%s\"); "%locstr + #for debug
                       "return res;}" for i,locstr in enumerate(locstrs)]),
                 "cleanup_calls":"\n    ".join([