wait at most 10s for server to stop...