Handle ctrl+c to gracefully shutdown the server(s)#1613

Merged

emilk merged 13 commits intomainfrom andreas/fix-crash-on-serve-exit

Mar 21, 2023

Commits on Mar 20, 2023

Handle ctrl+c to gracefully shutdown the server(s)
Wumpf
committed
formatting
Wumpf
committed
move setup_ctrl_c_handler to re_web_viewer_server
Wumpf
committed
comment fix, use channel for server shutdown in RemoteViewerServer
Wumpf
committed
use tokio in re_web_viewer_server/server in order to use same graceful shutdown mechanism
Wumpf
committed
don't create tokio runtime if there is already one
Wumpf
committed
move responsibility for alive tokio runtime outside of web_viewer. Don't create a new runtime if there is one already. Gracefully wait on ctrl+c instead of sleeping for RerunArgs entrypoint
Wumpf
committed
Fix python serve lacking a tokio runtime
Wumpf
committed
Merge remote-tracking branch 'origin/main' into andreas/fix-crash-on-serve-exit
Wumpf
committed
fix doc test
Wumpf
committed

Commits on Mar 21, 2023