Some small optimisations
tree34e8304bd9ade18882c40f442e266d2ddec95b5f
-rw-r--r-- 18009 COPYING
-rw-r--r-- 267 Makefile
-rw-r--r-- 883 README
-rwxr-xr-x 1407 buildMain.py
-rwxr-xr-x 16298 main.py
-rw-r--r-- 40956 mysubprocess.py