def get_server(self, request_id):
    with self._lock:
      return self._request_id_to_server_configuration[request_id].server_name
Returns the name of the server serving this request.
dataset/ETHPy150Open AppScale/appscale/AppServer/google/appengine/tools/devappserver2/wsgi_request_info.py/WSGIRequestInfo.get_server