Function parse_session_id

scripts/jcode_memory_snapshot.py:93–95

(cmd: str)

def parse_session_id(cmd: str) -> str | None:
    m = re.search(r"--resume\s+(session_[^\s]+)", cmd)
    return m.group(1) if m else None


def first_non_option(argv: list[str]) -> str | None: