185     def __init__(self, devserver):  argument
186         self._devserver = devserver
207     def get_devserver_load_wrapper(devserver, timeout_sec, output):  argument
215         load = DevServer.get_devserver_load(devserver,
218             load['devserver'] = devserver
223     def get_devserver_load(devserver, timeout_min=0.1):  argument
233         server_name = DevServer.get_server_name(devserver)
236         call = DevServer._build_call(devserver, 'check_health')
278     def devserver_healthy(devserver, timeout_min=0.1):  argument
288         server_name = DevServer.get_server_name(devserver)
291         load = DevServer.get_devserver_load(devserver, timeout_min=timeout_min)
417             devserver = devservers.pop(hash_index)
418             if cls.devserver_healthy(devserver):
419                 return cls(devserver)
468         devserver = cls.get_healthy_devserver(build, devservers)
470         if not devserver and can_retry:
471             devserver = cls.get_healthy_devserver(
473         if devserver:
474             return devserver
1483     for devserver in devserver_type.servers():
1486                 args=(devserver, TIMEOUT_GET_DEVSERVER_LOAD, output)))