changeset 2446 | 440cb4ea7e5c |
parent 2417 | 18a14c23413c |
child 2458 | 4d114865098f |
--- a/server/serverctl.py Thu Jul 23 14:45:31 2009 +0200 +++ b/server/serverctl.py Thu Jul 23 14:51:40 2009 +0200 @@ -649,7 +649,7 @@ import tempfile srcappid = pop_arg(args, 1, msg="No source application specified !") destappid = pop_arg(args, msg="No destination application specified !") - output = tempfile.mktemp() + output = tempfile.mkstemp() if ':' in srcappid: host, srcappid = srcappid.split(':') _remote_dump(host, srcappid, output, self.config.sudo)