The server now writes its startup JSON to $SCREEN_DIR/.server-info. Agents that launch the server via background execution (where stdout is hidden) can read this file to get the URL, port, and screen_dir.
The server now writes its startup JSON to $SCREEN_DIR/.server-info. Agents that launch the server via background execution (where stdout is hidden) can read this file to get the URL, port, and screen_dir.