Shutdown timeout must be configurable.
iliafrenkel opened this issue · 1 comments
iliafrenkel commented
Line 78 in 0a33105
Make servers shutdown configurable through the command line. Currently, it is hardcoded to be 10 sec which is a reasonable default.
iliafrenkel commented
Closed in 079c396. Forgot to mention.