coverage: 99.807% (-0.2%) from 100.0%
when pulling e51f316a2361d580d5b2ead553c15c9700fe5a88 on server-connections
into 52bad2f3f9acbca9469b1a7016e1a8723e20694e on v3.1-main.
coverage: 100.0%. remained the same
when pulling ffbef858a0485868f6da165fc3b8bb3ce7070964 on server-connections
into 52bad2f3f9acbca9469b1a7016e1a8723e20694e on v3.1-main.
coverage: 100.0%. remained the same
when pulling ffbef858a0485868f6da165fc3b8bb3ce7070964 on server-connections
into 52bad2f3f9acbca9469b1a7016e1a8723e20694e on v3.1-main.
Method to orderly shutdown server.