Allow the path to the server's resource manager properties to be adjusted.

git-svn-id: svn+ssh://src.earth.threerings.net/vilya/trunk@11 c613c5cb-e716-0410-b11b-feb51c14d237

src/java/com/threerings/stage/server/StageServer.java

@@ -54,7 +54,7 @@ public abstract class StageServer extends WhirledServer
 
         // create the resource manager
         rsrcmgr = new ResourceManager("rsrc");
-        rsrcmgr.initBundles(null, "config/resource/manager.properties", null);
+        rsrcmgr.initBundles(null, getResourceConfig(), null);
 
         // create our tile manager and repository
         tilemgr = new TileManager(null);
@@ -64,4 +64,15 @@ public abstract class StageServer extends WhirledServer
 
         Log.info("Stage server initialized.");
     }
+
+    /**
+     * Returns the path to the configuration file for the resource manager that
+     * will be created for use by the server. This is a resource path (meaning
+     * it should be relative to the resource prefix (which is
+     * <code>rsrc</code>).
+     */
+    protected String getResourceConfig ()
+    {
+        return "config/resource/manager.properties";
+    }
 }