allow specification of workspaces directory

This commit is contained in:
Jonathan Shook 2020-08-12 14:04:33 -05:00
parent 2171d5eaf4
commit af7f1718c4
2 changed files with 4 additions and 4 deletions

View File

@ -115,10 +115,10 @@ public class DocServerApp {
}
logger.info("running public server on interface with address " + net_addr);
server.withHost(net_addr);
} else if (arg.matches("--workspaces.*")) {
String workspace_dir = serverArgs[i + 1];
} else if (arg.matches("--workspaces")) {
String workspaces_root = serverArgs[i + 1];
logger.info("Setting workspace directory to workspace_dir");
server.withContextParam("workspaces_dir", workspace_dir);
server.withContextParam("workspaces_root", workspaces_root);
}
}
//

View File

@ -25,7 +25,7 @@ public class WorkspacesEndpoint implements WebServiceObject {
private final static Logger logger =
LogManager.getLogger(WorkspacesEndpoint.class);
public static final String WORKSPACE_ROOT = "workspace_root";
public static final String WORKSPACE_ROOT = "workspaces_root";
@Context
private Configuration config;