Changeset 6441
- Timestamp:
- 2004-01-12T12:40:37+13:00 (20 years ago)
- Location:
- trunk/gsdl3
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/gsdl3/gs3-launch.bat
r6439 r6441 13 13 call gs3-setup.bat 14 14 echo. 15 if "%JAVA_HOME%" == "" goto exit 16 15 17 set CATALINA_HOME=%GSDL3HOME%\comms\jakarta\tomcat 16 18 set CATALINA_OPTS="-Djava.util.prefs.syncInterval=2000000 -DGSDL3HOME=%GSDL3HOME% -DGSDLOS=%GSDLOS% -DGSDLHOME= -DPATH=%PATH%" 17 19 18 19 :findJava20 :: ---- Check Java SDK exists ----21 set JAVAPATH=22 23 :: Some users may set the above line manually24 if not "%JAVAPATH%" == "" goto testJava25 26 :: If it is set, use the JAVA_HOME environment variable27 if not "%JAVA_HOME%" == "" goto startTomcat28 29 :: Look in the registry for Java SDK installations30 type nul > jdk.reg31 regedit /E jdk.reg "HKEY_LOCAL_MACHINE\SOFTWARE\JavaSoft\Java Development Kit"32 type jdk.reg > jdk.txt33 del jdk.reg34 35 winutil\findjava.exe jdk.txt | winutil\setvar.exe JAVAPATH > setjava.bat36 del jdk.txt37 call setjava.bat38 del setjava.bat39 40 :: If a suitable installation was found in the registry, check it41 if not "%JAVAPATH%" == "" goto testJava42 43 :noJava44 echo.45 echo Failed to locate an appropriate version of Java. You must install a46 echo Java Development Kit (version 1.4 or greater) before running the47 echo Greenstone 3 Digital Library Software.48 pause49 goto exit50 51 :testJava52 set JAVA_HOME=%JAVAPATH%53 54 55 :startTomcat56 20 :: ---- Start the Tomcat server ---- 57 21 call "%GSDL3HOME%\comms\jakarta\tomcat\bin\startup.bat" 58 59 22 60 23 :: ---- Launch a web browser ---- 61 24 start http://localhost:8080/gsdl3 62 25 63 64 26 :exit -
trunk/gsdl3/gs3-setup.bat
r6413 r6441 27 27 cd %GSDL3HOME% 28 28 29 :findJava 30 :: ---- Check Java SDK exists ---- 31 set JAVAPATH= 32 33 :: Some users may set the above line manually 34 if not "%JAVAPATH%" == "" goto testJava 35 36 :: If it is set, use the JAVA_HOME environment variable 37 if not "%JAVA_HOME%" == "" goto exit 38 39 :: Look in the registry for Java SDK installations 40 type nul > jdk.reg 41 regedit /E jdk.reg "HKEY_LOCAL_MACHINE\SOFTWARE\JavaSoft\Java Development Kit" 42 type jdk.reg > jdk.txt 43 del jdk.reg 44 45 winutil\findjava.exe jdk.txt | winutil\setvar.exe JAVAPATH > setjava.bat 46 del jdk.txt 47 call setjava.bat 48 del setjava.bat 49 50 :: If a suitable installation was found in the registry, check it 51 if not "%JAVAPATH%" == "" goto testJava 52 53 :noJava 54 echo. 55 echo Failed to locate an appropriate version of Java. You must install a 56 echo Java Development Kit (version 1.4 or greater) before running the 57 echo Greenstone 3 Digital Library Software. 58 pause 59 goto exit 60 61 :testJava 62 set JAVA_HOME=%JAVAPATH% 63 29 64 :exit
Note:
See TracChangeset
for help on using the changeset viewer.