[FIX] server.stop: avoid traceback during shutdown if HTTP service never started (e.g. because address was already in use)