def getDefaultFetcher():
 global _default_fetcher
 if (_default_fetcher is None):
  setDefaultFetcher(createHTTPFetcher())
 return _default_fetcher

def getDefaultFetcher ( ) : global _default_fetcher if ( _default_fetcher is None ) : setDefaultFetcher ( createHTTPFetcher ( ) ) return _default_fetcher
return the default fetcher instance if no fetcher has been set .