public function setDefaultResultServer(core_kernel_classes_Resource $resultServer) {
        $ext = common_ext_ExtensionsManager::singleton()->getExtensionById('taoResultServer');
        $ext->setConfig(self::DEFAULT_RESULTSERVER_KEY, $resultServer->getUri());
    }
public function setDefaultResultServer(core_kernel_classes_Resource $resultServer) {
        $ext = common_ext_ExtensionsManager::singleton()->getExtensionById('taoResultServer');
        $ext->setConfig(self::DEFAULT_RESULTSERVER_KEY, $resultServer->getUri());
    }
public function setDefaultResultServer ( core_kernel_classes_Resource $ resultServer ) { $ ext = common_ext_ExtensionsManager :: singleton ( ) -> getExtensionById ( 'taoResultServer' ) ; $ ext -> setConfig ( self :: DEFAULT_RESULTSERVER_KEY , $ resultServer -> getUri ( ) ) ; }
Sets the default result server to use

@param core_kernel_classes_Resource $resultServer
Sets the default result server to use