Searched refs:_EMPTY_SERVER_OPTIONS (Results 1 – 1 of 1) sorted by relevance
254 _EMPTY_SERVER_OPTIONS = ServerOptions(None, None, None, None, None, None, None) variable305 effective_options = _EMPTY_SERVER_OPTIONS if options is None else options