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