Applied patch from issue 391.
git-svn-id: http://google-refine.googlecode.com/svn/trunk@2070 7d457c2a-affb-35e4-300a-418c747d4874
This commit is contained in:
parent
5d988d3193
commit
d7cd13b68e
28
refine.bat
28
refine.bat
@ -2,6 +2,9 @@
|
|||||||
rem
|
rem
|
||||||
rem Configuration variables
|
rem Configuration variables
|
||||||
rem
|
rem
|
||||||
|
rem ANT_HOME
|
||||||
|
rem Home of Ant installation; copy is in the source as tools\apache-ant-*
|
||||||
|
rem
|
||||||
rem JAVA_HOME
|
rem JAVA_HOME
|
||||||
rem Home of Java installation.
|
rem Home of Java installation.
|
||||||
rem
|
rem
|
||||||
@ -54,6 +57,16 @@ goto end
|
|||||||
|
|
||||||
:endUtils
|
:endUtils
|
||||||
|
|
||||||
|
rem --- Read ini file -----------------------------------------------
|
||||||
|
|
||||||
|
set OPTS=
|
||||||
|
|
||||||
|
for /f "tokens=1,* delims==" %%a in (refine.ini) do (
|
||||||
|
set %%a=%%b
|
||||||
|
)
|
||||||
|
|
||||||
|
rem --- Check JAVA_HOME ---------------------------------------------
|
||||||
|
|
||||||
if not "%JAVA_HOME%" == "" goto gotJavaHome
|
if not "%JAVA_HOME%" == "" goto gotJavaHome
|
||||||
echo You must set JAVA_HOME to point at your Java Development Kit installation
|
echo You must set JAVA_HOME to point at your Java Development Kit installation
|
||||||
echo.
|
echo.
|
||||||
@ -65,14 +78,6 @@ echo.
|
|||||||
goto fail
|
goto fail
|
||||||
:gotJavaHome
|
:gotJavaHome
|
||||||
|
|
||||||
rem --- Read ini file --------------------------------------------
|
|
||||||
|
|
||||||
set OPTS=
|
|
||||||
|
|
||||||
for /f "tokens=1,2 delims==" %%a in (refine.ini) do (
|
|
||||||
set %%a=%%b
|
|
||||||
)
|
|
||||||
|
|
||||||
rem --- Argument parsing --------------------------------------------
|
rem --- Argument parsing --------------------------------------------
|
||||||
|
|
||||||
:loop
|
:loop
|
||||||
@ -137,9 +142,14 @@ set OPTS=%OPTS% -Drefine.port=%REFINE_PORT%
|
|||||||
|
|
||||||
if not "%REFINE_HOST%" == "" goto gotHost
|
if not "%REFINE_HOST%" == "" goto gotHost
|
||||||
set REFINE_HOST=127.0.0.1
|
set REFINE_HOST=127.0.0.1
|
||||||
:gotHOST
|
:gotHost
|
||||||
set OPTS=%OPTS% -Drefine.host=%REFINE_HOST%
|
set OPTS=%OPTS% -Drefine.host=%REFINE_HOST%
|
||||||
|
|
||||||
|
if not "%REFINE_WEBAPP%" == "" goto gotWebApp
|
||||||
|
set REFINE_WEBAPP=main\webapp
|
||||||
|
:gotWebApp
|
||||||
|
set OPTS=%OPTS% -Drefine.webapp=%REFINE_WEBAPP%
|
||||||
|
|
||||||
if not "%REFINE_CLASSES_DIR%" == "" goto gotClassesDir
|
if not "%REFINE_CLASSES_DIR%" == "" goto gotClassesDir
|
||||||
set REFINE_CLASSES_DIR=server\classes
|
set REFINE_CLASSES_DIR=server\classes
|
||||||
:gotClassesDir
|
:gotClassesDir
|
||||||
|
13
refine.ini
13
refine.ini
@ -1,6 +1,9 @@
|
|||||||
#REFINES_PORT=3333
|
#REFINE_PORT=3333
|
||||||
#REFINES_HOST=127.0.0.1
|
#REFINE_HOST=127.0.0.1
|
||||||
#REFINES_MEMORY=1024M
|
#REFINE_WEBAPP=main\webapp
|
||||||
|
#REFINE_MEMORY=1024M
|
||||||
|
|
||||||
#JAVA_HOME=""
|
# Some sample configurations. These have no defaults.
|
||||||
#JAVA_OPTIONS="-XX:+UseParallelGC -XX:+UseLargePages"
|
#ANT_HOME=C:\grefine\tools\apache-ant-1.8.1
|
||||||
|
#JAVA_HOME=C:\Program Files\Java\jdk1.6.0_25
|
||||||
|
#JAVA_OPTIONS=-XX:+UseParallelGC -verbose:gc -Drefine.headless=true
|
||||||
|
Loading…
Reference in New Issue
Block a user