Ejemplo n.º 1
0
 def do_save(filename):
     #make sure the file extension is .xpra
     if os.path.splitext(filename)[-1] != ".xpra":
         filename += ".xpra"
     save_config(filename,
                 self.config,
                 self.config_keys,
                 extras_types=LAUNCHER_OPTION_TYPES)
Ejemplo n.º 2
0
 def do_save(filename):
     save_config(filename,
                 self.config,
                 self.config_keys,
                 extras_types=LAUNCHER_OPTION_TYPES)
Ejemplo n.º 3
0
 def do_save(filename):
     save_config(filename, self.config, self.config_keys, extras_types=LAUNCHER_OPTION_TYPES)
Ejemplo n.º 4
0
 def do_save(filename):
     save_config(filename, self.config, self.config_keys)
Ejemplo n.º 5
0
 def do_save(filename):
     save_config(filename, self.config, self.config_keys)
Ejemplo n.º 6
0
 def do_save(filename):
     save_config(filename,
                 self.config,
                 self.config_keys,
                 extras={"ssh_port": int})
Ejemplo n.º 7
0
 def do_save(filename):
     save_config(filename, self.config, self.config_keys, extras={"ssh_port" : int})