/**
* Create the resource manager given the properties for this server.
*/
public static ResourceManager createResourceManager(ServerConfig serverConfig) {
ResourceSource resourceSource = createResourceSource(serverConfig);
File autofetchDir = getAutofetchDir(serverConfig, resourceSource);
return new ResourceManager(resourceSource, autofetchDir);
}