server/serverctl.py
branch3.5
changeset 3148 81d373245ce9
parent 3115 29262ba01464
child 3163 edfe43ceaa35
child 3316 c4c07aab1c39
--- a/server/serverctl.py	Wed Sep 09 17:48:26 2009 +0200
+++ b/server/serverctl.py	Wed Sep 09 17:49:06 2009 +0200
@@ -677,7 +677,8 @@
         import tempfile
         srcappid = pop_arg(args, 1, msg='No source instance specified !')
         destappid = pop_arg(args, msg='No destination instance specified !')
-        output = tempfile.mkstemp()[1]
+        fd, output = tempfile.mkstemp()
+        os.close(fd)
         if ':' in srcappid:
             host, srcappid = srcappid.split(':')
             _remote_dump(host, srcappid, output, self.config.sudo)