changeset 10070 | 5244592cb225 |
parent 9372 | e87a808a4c32 |
child 10235 | 684215aca046 |
--- a/web/webctl.py Fri Nov 28 10:16:37 2014 +0100 +++ b/web/webctl.py Fri Nov 28 11:51:36 2014 +0100 @@ -68,7 +68,8 @@ dest = osp.join(config.appdatahome, 'data') if osp.exists(dest): if (not ask_clean or - not ASK.confirm('Remove existing data directory %s?' % dest)): + not (config.verbosity and + ASK.confirm('Remove existing data directory %s?' % dest))): raise ExecutionError('Directory %s already exists. ' 'Remove it first.' % dest) rmtree(dest)