2Shirt/WizardKit
2Shirt/WizardKit
1
0
Fork 0
Code Issues 2 Pull requests Projects Releases 26 Packages Wiki Activity Actions

Avoid rare crash

Browse source
This commit is contained in:
2Shirt 2019-01-08 15:11:34 -07:00
parent 1e5f72f79a
commit 23a88401b7
Signed by: 2Shirt
GPG key ID: 152FAC923B0E132C
1 changed files with 12 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

14
.bin/Scripts/functions/common.py
View file

@ -102,7 +102,12 @@ def ask(prompt='Kotaero!'):
answer = None answer = None
prompt = '{} [Y/N]: '.format(prompt) prompt = '{} [Y/N]: '.format(prompt)
while answer is None: while answer is None:
tmp = input(prompt) try:
tmp = input(prompt)
except EOFError:
# Just try again?
sleep(1)
tmp = input(prompt)
if re.search(r'^y(es|)$', tmp, re.IGNORECASE): if re.search(r'^y(es|)$', tmp, re.IGNORECASE):
answer = True answer = True
elif re.search(r'^n(o|ope|)$', tmp, re.IGNORECASE): elif re.search(r'^n(o|ope|)$', tmp, re.IGNORECASE):
@ -412,7 +417,12 @@ def non_clobber_rename(full_path):
def pause(prompt='Press Enter to continue... '): def pause(prompt='Press Enter to continue... '):
"""Simple pause implementation.""" """Simple pause implementation."""
input(prompt) try:
input(prompt)
except EOFError:
# Just try again?
sleep(1)
input(prompt)
def ping(addr='google.com'): def ping(addr='google.com'):