Changeset 28297
- Timestamp:
- 2013-09-19T17:50:40+12:00 (11 years ago)
- Location:
- main/trunk/greenstone3
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
main/trunk/greenstone3/build.properties.in
r28259 r28297 30 30 # default servlet to start with 31 31 server.default.servlet=/library 32 33 # The context name of your GS3 digital library. By default this will be "greenstone3". 34 # Ensure this has a value. If you change this multiple times, you need to remove the old versions 35 # of <custom.context>.xml from GS3/packages/tomcat/conf/Catalina/localhost 36 # does not contain previous 37 custom.context=greenstone3 32 38 33 39 ##Browser setup -
main/trunk/greenstone3/build.xml
r28259 r28297 1285 1285 </filterset> 1286 1286 </copy> 1287 <!-- set up the greenstone3 context --> 1288 <copy file="${basedir}/resources/tomcat/greenstone3.xml" tofile="${packages.home}/tomcat/conf/Catalina/localhost/greenstone3.xml" overwrite="true"> 1287 <!-- set up the greenstone3 context, it may have a custom name specified in build.properties --> 1288 <if><bool><not><equals arg1="greenstone3" arg2="${custom.context}"></equals></not></bool> 1289 <copy file="${basedir}/resources/tomcat/greenstone3.xml" tofile="${basedir}/resources/tomcat/${custom.context}.xml" overwrite="true"/> 1290 </if> 1291 <copy file="${basedir}/resources/tomcat/${custom.context}.xml" tofile="${packages.home}/tomcat/conf/Catalina/localhost/${custom.context}.xml" overwrite="true"> 1289 1292 <filterset> 1290 1293 <filter token="gsdl3webhome" value="${web.home}"/> … … 1293 1296 </filterset> 1294 1297 </copy> 1298 <if> 1299 <bool> 1300 <and> 1301 <available file="${packages.home}/tomcat/conf/Catalina/localhost/greenstone3.xml"/> 1302 <not><equals arg1="greenstone3" arg2="${custom.context}"></equals></not> 1303 </and> 1304 </bool> 1305 <delete file="${packages.home}/tomcat/conf/Catalina/localhost/greenstone3.xml"/> 1306 </if> 1295 1307 1296 1308 <!-- set up the greenstone3 web.xml file --> … … 1301 1313 </copy> 1302 1314 </target> 1303 1315 1304 1316 <target name="configure-tomcat-external" depends="init" unless="tomcat.islocal"> 1305 1317 <!-- re-setup the server.xml file -->
Note:
See TracChangeset
for help on using the changeset viewer.