Shutdown server if listener connection dies#57

Merged

diogob merged 1 commit intomasterfrom

shutdown-on-connection-failure

Jun 12, 2020

Commits on Jun 12, 2020

Install a shutdown handler that waits for an MVar so we can shutdown the warp server in error conditions that require a service restart. Trigger a shutdown if the listener connection dies.
diogob
committed