Esempio 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)
Esempio n. 2
0
 def do_save(filename):
     save_config(filename,
                 self.config,
                 self.config_keys,
                 extras_types=LAUNCHER_OPTION_TYPES)
Esempio n. 3
0
 def do_save(filename):
     save_config(filename, self.config, self.config_keys, extras_types=LAUNCHER_OPTION_TYPES)
Esempio n. 4
0
 def do_save(filename):
     save_config(filename, self.config, self.config_keys)
Esempio n. 5
0
 def do_save(filename):
     save_config(filename, self.config, self.config_keys)
Esempio n. 6
0
 def do_save(filename):
     save_config(filename,
                 self.config,
                 self.config_keys,
                 extras={"ssh_port": int})
Esempio n. 7
0
 def do_save(filename):
     save_config(filename, self.config, self.config_keys, extras={"ssh_port" : int})