Commit 4dac9631 authored by GUILLOU Perceval's avatar GUILLOU Perceval

fix default session name to __DEFAULT__

parent 608f5690
Pipeline #13968 passed with stages
in 40 minutes and 19 seconds
......@@ -495,7 +495,7 @@ class Session:
class DefaultSession(Session):
def __init__(self):
Session.__init__(self, "default", {"config-objects": []})
Session.__init__(self, "__DEFAULT__", {"config-objects": []})
def _load_config(self, verbose=True):
return
......
......@@ -226,7 +226,7 @@ def main():
if session_name is None:
session = (
f"__DEFAULT__{os.getpid()}"
f"__DEFAULT__" # {os.getpid()}
) # see __DEFAULT__ in bliss.shell.cli.repl => def cli()
else:
session = session_name
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment