Changeset 8061
- Timestamp:
- 2004-08-26T09:12:09+12:00 (20 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/gsdl3/gs3-install.sh
r8051 r8061 83 83 84 84 # copy the modified server.xml into tomcat 85 if [ ! -f ./tomcat/conf/server-withexamples.xml.config ]; then85 if [ ! -f ./tomcat/conf/server-withexamples.xml.config ]; then 86 86 mv ./tomcat/conf/server.xml ./tomcat/conf/server-withexamples.xml.config 87 87 cat server.xml.in | sed "s|@gsdl3home@|${gsdl3home}|" > ./tomcat/conf/server.xml
Note:
See TracChangeset
for help on using the changeset viewer.