public function getDefaultResultServer()
    {
        $ext = common_ext_ExtensionsManager::singleton()->getExtensionById('taoResultServer');
        if ($ext->hasConfig(self::DEFAULT_RESULTSERVER_KEY)) {
            $uri = $ext->getConfig(self::DEFAULT_RESULTSERVER_KEY);
        } else {
            $uri = ResultServerService::INSTANCE_VOID_RESULT_SERVER;
        }
        
        return new core_kernel_classes_Resource($uri);
    }
public function getDefaultResultServer()
    {
        $ext = common_ext_ExtensionsManager::singleton()->getExtensionById('taoResultServer');
        if ($ext->hasConfig(self::DEFAULT_RESULTSERVER_KEY)) {
            $uri = $ext->getConfig(self::DEFAULT_RESULTSERVER_KEY);
        } else {
            $uri = ResultServerService::INSTANCE_VOID_RESULT_SERVER;
        }
        
        return new core_kernel_classes_Resource($uri);
    }
public function getDefaultResultServer ( ) { $ ext = common_ext_ExtensionsManager :: singleton ( ) -> getExtensionById ( 'taoResultServer' ) ; if ( $ ext -> hasConfig ( self :: DEFAULT_RESULTSERVER_KEY ) ) { $ uri = $ ext -> getConfig ( self :: DEFAULT_RESULTSERVER_KEY ) ; } else { $ uri = ResultServerService :: INSTANCE_VOID_RESULT_SERVER ; } return new core_kernel_classes_Resource ( $ uri ) ; }
Return the default result server to use

@return core_kernel_classes_Resource
Return the default result server to use