
Hi all!
I am making multiple tools to be run by multiple admin users on a local server.
I want to make a page that displays all the links to the tools and shows the active connections. This way, users can see if their version of the tool (session) is live, and if the tool is live at all. The tools get stopped and restarted a lot so it’s hard to know if your session is connected otherwise.
I have tried something like bokeh/examples/howto/server_auth at branch-3.0 · bokeh/bokeh · GitHub to get the session_id, but it’s not ideal, as I can’t get the actual username, or any fixed identifier of who the user is. My idea then was to write in a dummy file ‘ping_{user}.txt’ for each tool so that my main tool can see the last ping for each.
Is there any known way to make any of this easier or cleaner, or overall better ?
Any way to see when the session is disconnected from the non-host-user perspective ?
Thanks a lot
Thomas

