allow to rename the profile without a browser restart and remove old sockets and registry entry when browser closes

2026-04-10 12:02:14 +02:00
parent c9ecde9338
commit 6979f2ef30
9 changed files with 135 additions and 13 deletions
@@ -98,6 +98,9 @@ def stdin_reader(alias: str):
        # Profile alias handshake
        if msg.get("type") == "hello":
            continue  # already handled during startup
+        if msg.get("type") == "bye":
+            _cleanup(alias)
+            os._exit(0)

        msg_id = msg.get("id")
        if msg_id: