Changeset 18203

Show
Ignore:
Timestamp:
16.12.2008 13:26:41 (11 years ago)
Author:
cc108
Message:

Allow the user to use a JDk instead of a JRE.

Files:
1 modified

Legend:

Unmodified
Added
Removed
  • greenstone3/trunk/admin/gs3-admin.bat

    r18111 r18203  
    11@echo off 
     2 
     3 
     4:: If you wish to use a JDK instead of the provided JRE then please use the line below 
     5:: e.g. set _JDK_HOME=C:\Program Files\Java\jdk1.6.0_10 
     6set _JDK_HOME= 
     7 
     8 
     9 
    210set GAILANG=en 
     11 
     12 
    313 
    414set PROGNAME=Greenstone Administrator Interface  
     
    4454set GSDL3PATH= 
    4555 
     56IF NOT "%_JDK_HOME%" == "" SET JAVA_HOME=%_JDK_HOME% 
     57IF NOT "%_JDK_HOME%" == "" SET CLASSPATH=%_JDK_HOME%\lib\tools.jar;%CLASSPATH% 
     58IF NOT "%_JDK_HOME%" == "" SET RUNJAVA=%_JDK_HOME%\bin\java.exe 
     59 
    4660echo gsdl3srchome: %GSDL3SRCHOME% 
    4761echo gsdl3srchome: %GSDL3HOME%