Skip to content

Commit

Permalink
Merge branch 'master' of https://github.com/WikiTeam/wikiteam
Browse files Browse the repository at this point in the history
  • Loading branch information
emijrp committed May 24, 2018
2 parents de7822c + bf4781e commit d11df60
Showing 1 changed file with 1 addition and 2 deletions.
3 changes: 1 addition & 2 deletions dumpgenerator.py
Original file line number Diff line number Diff line change
Expand Up @@ -2275,10 +2275,9 @@ def main(params=[]):
# do not enter if resume is requested from begining
while not other['resume'] and os.path.isdir(config['path']):
print '\nWarning!: "%s" path exists' % (config['path'])
reply = ''
if config['failfast']:
retry = 'yes'
else:
reply = ''
while reply.lower() not in ['yes', 'y', 'no', 'n']:
reply = raw_input(
'There is a dump in "%s", probably incomplete.\nIf you choose resume, to avoid conflicts, the parameters you have chosen in the current session will be ignored\nand the parameters available in "%s/%s" will be loaded.\nDo you want to resume ([yes, y], [no, n])? ' %
Expand Down

0 comments on commit d11df60

Please sign in to comment.