def get_navigator_server_url():
 return get_conf().get(_CONF_NAVIGATOR_SERVER_URL, 'http://localhost:7187')

def get_navigator_server_url ( ) : return get_conf ( ) . get ( _CONF_NAVIGATOR_SERVER_URL , 'http://localhost:7187' )
returns the navigator .