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