server/serverctl.py
changeset 2446 440cb4ea7e5c
parent 2417 18a14c23413c
child 2458 4d114865098f
equal deleted inserted replaced
2445:6f065b366d14 2446:440cb4ea7e5c
   647 
   647 
   648     def run(self, args):
   648     def run(self, args):
   649         import tempfile
   649         import tempfile
   650         srcappid = pop_arg(args, 1, msg="No source application specified !")
   650         srcappid = pop_arg(args, 1, msg="No source application specified !")
   651         destappid = pop_arg(args, msg="No destination application specified !")
   651         destappid = pop_arg(args, msg="No destination application specified !")
   652         output = tempfile.mktemp()
   652         output = tempfile.mkstemp()
   653         if ':' in srcappid:
   653         if ':' in srcappid:
   654             host, srcappid = srcappid.split(':')
   654             host, srcappid = srcappid.split(':')
   655             _remote_dump(host, srcappid, output, self.config.sudo)
   655             _remote_dump(host, srcappid, output, self.config.sudo)
   656         else:
   656         else:
   657             _local_dump(srcappid, output)
   657             _local_dump(srcappid, output)