Lev Kokotov 4aa9c3d3c7 Cleaner shutdown (#12) ...

* Cleaner shutdown

* mark as bad just in case although im pretty sure we dont need it

* server session duration

* test clean shutdown

* ah

2022-02-12 10:16:05 -08:00

..

config.yml

Cleaner shutdown (#12)

2022-02-12 10:16:05 -08:00

run_tests.sh

Cleaner shutdown (#12)

2022-02-12 10:16:05 -08:00