Mercurial > hg > AnnotationManagerN4J
comparison src/main/java/de/mpiwg/itgroup/annotations/restlet/BaseRestlet.java @ 94:fcb6fe10e08c
added config option for webapp URL prefix.
author | casties |
---|---|
date | Tue, 10 Feb 2015 17:45:56 +0100 |
parents | 247cbbb385de |
children |
comparison
equal
deleted
inserted
replaced
91:cf44d9e1a4a7 | 94:fcb6fe10e08c |
---|---|
112 */ | 112 */ |
113 protected boolean authorizationMode = false; | 113 protected boolean authorizationMode = false; |
114 public static final String AUTHORIZATION_MODE_KEY = "annotationmanager.authorization"; | 114 public static final String AUTHORIZATION_MODE_KEY = "annotationmanager.authorization"; |
115 | 115 |
116 /** | 116 /** |
117 * prefix for webapp URLs (if needed by proxying). | |
118 */ | |
119 protected String webappUriPrefix = null; | |
120 public static final String WEBAPP_PREFIX = "annotationmanager.webapp.prefix"; | |
121 | |
122 /** | |
117 * prefix to create uris for tags in store. | 123 * prefix to create uris for tags in store. |
118 */ | 124 */ |
119 public static String TAGS_URI_PREFIX = ""; | 125 public static String TAGS_URI_PREFIX = ""; |
120 public static final String TAGS_URI_KEY = "annotationmanager.uris.tags"; | 126 public static final String TAGS_URI_KEY = "annotationmanager.uris.tags"; |
121 | 127 |
169 /* | 175 /* |
170 * read serverconfig options | 176 * read serverconfig options |
171 */ | 177 */ |
172 graphdbPath = serverConfig.getProperty(GRAPHDB_PATH_KEY, graphdbPath); | 178 graphdbPath = serverConfig.getProperty(GRAPHDB_PATH_KEY, graphdbPath); |
173 ldapServerUrl = serverConfig.getProperty(LDAP_SERVER_KEY, null); | 179 ldapServerUrl = serverConfig.getProperty(LDAP_SERVER_KEY, null); |
180 webappUriPrefix = serverConfig.getProperty(WEBAPP_PREFIX, null); | |
174 /* | 181 /* |
175 * uri prefixes | 182 * uri prefixes |
176 */ | 183 */ |
177 if (serverConfig.containsKey(PERSONS_URI_KEY)) { | 184 if (serverConfig.containsKey(PERSONS_URI_KEY)) { |
178 BaseRestlet.PERSONS_URI_PREFIX = serverConfig.getProperty(PERSONS_URI_KEY); | 185 BaseRestlet.PERSONS_URI_PREFIX = serverConfig.getProperty(PERSONS_URI_KEY); |