server/serverctl.py
changeset 2461 1f38b65cbd20
parent 2458 4d114865098f
child 2473 490f88fb99b6
equal deleted inserted replaced
2460:ce1a7ffc6c90 2461:1f38b65cbd20
   648 
   648 
   649     def run(self, args):
   649     def run(self, args):
   650         import tempfile
   650         import tempfile
   651         srcappid = pop_arg(args, 1, msg="No source application specified !")
   651         srcappid = pop_arg(args, 1, msg="No source application specified !")
   652         destappid = pop_arg(args, msg="No destination application specified !")
   652         destappid = pop_arg(args, msg="No destination application specified !")
   653         output = tempfile.mkstemp()
   653         _, output = tempfile.mkstemp()
   654         if ':' in srcappid:
   654         if ':' in srcappid:
   655             host, srcappid = srcappid.split(':')
   655             host, srcappid = srcappid.split(':')
   656             _remote_dump(host, srcappid, output, self.config.sudo)
   656             _remote_dump(host, srcappid, output, self.config.sudo)
   657         else:
   657         else:
   658             _local_dump(srcappid, output)
   658             _local_dump(srcappid, output)