DEFAULT_TIMEOUT

How long the server's stop waits for that thread at most.