# HG changeset patch
# User Aurelien Campeas
# Date 1252511346 -7200
# Node ID 81d373245ce96ffc660348247b6837fa1cd477a5
# Parent  83ad6ff13e3f367ad01135d330b91a0b084dd67b
close file handler leak

diff -r 83ad6ff13e3f -r 81d373245ce9 server/serverctl.py
--- 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)