equal
deleted
inserted
replaced
474 print cmd |
474 print cmd |
475 if os.system(cmd): |
475 if os.system(cmd): |
476 raise ExecutionError('Error while retrieving the dump') |
476 raise ExecutionError('Error while retrieving the dump') |
477 rmcmd = 'ssh -t %s "rm -f /tmp/%s.dump"' % (host, appid) |
477 rmcmd = 'ssh -t %s "rm -f /tmp/%s.dump"' % (host, appid) |
478 print rmcmd |
478 print rmcmd |
479 if os.system(rmcmd) and not confirm('an error occured while deleting remote dump. Continue anyway?'): |
479 if os.system(rmcmd) and not confirm( |
|
480 'an error occured while deleting remote dump. Continue anyway?'): |
480 raise ExecutionError('Error while deleting remote dump') |
481 raise ExecutionError('Error while deleting remote dump') |
481 |
482 |
482 def _local_dump(appid, output): |
483 def _local_dump(appid, output): |
483 config = ServerConfiguration.config_for(appid) |
484 config = ServerConfiguration.config_for(appid) |
484 # schema=1 to avoid unnecessary schema loading |
485 # schema=1 to avoid unnecessary schema loading |