server/serverctl.py
branchtls-sprint
changeset 1263 01152fffd593
parent 1132 96752791c2b6
parent 1251 af40e615dc89
child 1469 ba9759972b52
--- a/server/serverctl.py	Mon Apr 06 12:37:45 2009 +0200
+++ b/server/serverctl.py	Tue Apr 07 09:30:23 2009 +0200
@@ -476,7 +476,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):