You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Refine the SIGHUP handling so that the socket isn't closed and re-opened if unnecessary. Concept: move body of the main loop into its own routine, add another loop there with a ReloadConfig exception handler that checks old_config.(listen, port) == new_config.(listen, port) and updates the server.boards dict if true.
The text was updated successfully, but these errors were encountered:
Refine the
SIGHUP
handling so that the socket isn't closed and re-opened if unnecessary. Concept: move body of the main loop into its own routine, add another loop there with aReloadConfig
exception handler that checksold_config.(listen, port) == new_config.(listen, port)
and updates theserver.boards
dict if true.The text was updated successfully, but these errors were encountered: