--- 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):