--- a/eric5.py Fri Nov 01 15:48:48 2013 +0100 +++ b/eric5.py Sun Nov 03 15:58:22 2013 +0100 @@ -39,7 +39,7 @@ # generate list of arguments to be remembered for a restart restartArgsList = ["--nosplash", "--plugin", "--debug", "--config"] -restartArgs = [arg for arg in sys.argv[1:] +restartArgs = [arg for arg in sys.argv[1:] if arg.split("=", 1)[0] in restartArgsList] if "--debug" in sys.argv: @@ -110,7 +110,7 @@ """An unhandled exception occurred. Please report the problem\n"""\ """using the error reporting dialog or via email to <{0}>.\n"""\ """A log has been written to "{1}".\n\nError information:\n""".format( - BugAddress, logFile) + BugAddress, logFile) timeString = time.strftime("%Y-%m-%d, %H:%M:%S") versionInfo = "\n{0}\n{1}".format( @@ -173,7 +173,7 @@ sys.excepthook = excepthook - options = [\ + options = [ ("--config=configDir", "use the given directory as the one containing the config files"), ("--debug", "activate debugging output to the console"),