web/webctl.py
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)