eric7/UI/upgrader.py

branch
eric7
changeset 9001
a00cd6b55728
parent 8994
3bebd76dc6ea
child 9015
dfeefad914ed
equal deleted inserted replaced
9000:bc0b38405b6a 9001:a00cd6b55728
77 for arg in upgraderArgs: 77 for arg in upgraderArgs:
78 if arg.startswith("--delay="): 78 if arg.startswith("--delay="):
79 with contextlib.suppress(ValueError): 79 with contextlib.suppress(ValueError):
80 upgradeDelay = int(arg.split("=")[1].strip()) 80 upgradeDelay = int(arg.split("=")[1].strip())
81 elif arg.startswith("--type="): 81 elif arg.startswith("--type="):
82 upgradeType=arg.split("=")[1].strip() 82 upgradeType = arg.split("=")[1].strip()
83 83
84 # wait a few seconds to give eric the chance to fully shut down 84 # wait a few seconds to give eric the chance to fully shut down
85 time.sleep(upgradeDelay) 85 time.sleep(upgradeDelay)
86 86
87 # now perform the upgrade and start eric, if it was successful 87 # now perform the upgrade and start eric, if it was successful

eric ide

mercurial