Searched refs:_DEFAULT_PING_HOST (Results 1 – 1 of 1) sorted by relevance
17 _DEFAULT_PING_HOST = 'www.google.com' variable27 ping_host=_DEFAULT_PING_HOST,