slightly less hacky server.shutdown() support