install.py

changeset 2421
d3bf4def72d7
parent 2420
c5a0bc75d5b6
child 2423
bf4e888d72ab
--- a/install.py	Sat Feb 16 16:00:16 2013 +0100
+++ b/install.py	Sat Feb 16 16:03:17 2013 +0100
@@ -1088,7 +1088,7 @@
                 cleanUp()
     except (IOError, OSError) as msg:
         sys.stderr.write('IOError: {0}\nTry install as root.\n'.format(msg))
-        return(7)
+        exit(7)
 
     # Create a config file and delete the default one
     createConfig()

eric ide

mercurial