server/serverctl.py
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)