server/serverctl.py
changeset 1251 af40e615dc89
parent 136 ff51a18c66a3
child 1263 01152fffd593
--- a/server/serverctl.py	Mon Apr 06 16:11:38 2009 +0200
+++ b/server/serverctl.py	Mon Apr 06 16:18:46 2009 +0200
@@ -475,7 +475,8 @@
         raise ExecutionError('Error while retrieving the dump')
     rmcmd = 'ssh -t %s "rm -f /tmp/%s.dump"' % (host, appid)
     print rmcmd
-    if os.system(rmcmd) and not confirm('an error occured while deleting remote dump. Continue anyway?'):
+    if os.system(rmcmd) and not confirm(
+        'an error occured while deleting remote dump. Continue anyway?'):
         raise ExecutionError('Error while deleting remote dump')
 
 def _local_dump(appid, output):