refactor: rename resolve_herdr_workspace to resolve_herdr_session and use herdr_session database field consistently

This commit is contained in:
Antigravity
2026-07-20 11:13:17 +09:00
parent daa1476714
commit 87bb2780ac
12 changed files with 166 additions and 28 deletions
@@ -93,7 +93,7 @@ def get_job_status(s):
sessions_detail = []
for s in d.get('herdr_sessions', []):
name = s.get('name', '?')
server = s.get('herdr_workspace') or s.get('herdr_server') or 'default'
server = s.get('herdr_session') or s.get('herdr_workspace') or s.get('herdr_server') or 'default'
jid, jstatus = get_job_status(s)
pane = s.get('pane') or {}
sessions_detail.append({
@@ -197,7 +197,7 @@ if not sessions:
print("(no sessions registered)")
for s in sessions:
name = s.get('name', '?')
server = s.get('herdr_workspace') or s.get('herdr_server') or 'default'
server = s.get('herdr_session') or s.get('herdr_workspace') or s.get('herdr_server') or 'default'
status = s.get('status', '?')
herdr = 'alive' if f"{name}|{server}" in alive else 'dead'
cmd = (s.get('pane') or {}).get('cmd', '?')