.desktop files should not be executable (#815)

[waydroid.git] / tools / config / save.py

diff --git a/tools/config/save.py b/tools/config/save.py
index 67e25ea1f8377cec6677816d91160c9767dfab3f..43c78229c60e3ce9f4ba0febf3f7cff13e9e4478 100644 (file)
--- a/tools/config/save.py
+++ b/tools/config/save.py
@@ -10,10 +10,3 @@ def save(args, cfg):
     os.makedirs(os.path.dirname(args.config), 0o700, True)
     with open(args.config, "w") as handle:
         cfg.write(handle)
-
-def save_session(cfg):
-    config_path = tools.config.session_defaults["config_path"]
-    logging.debug("Save session config: " + config_path)
-    os.makedirs(os.path.dirname(config_path), 0o700, True)
-    with open(config_path, "w") as handle:
-        cfg.write(handle)