opendev/gerrit
Code Issues Proposed changes

Suggest changing gerrit.config when JDK not found

Browse Source 
If gerrit.config points at the wrong JDK, setting JAVA_HOME to the
correct one will not fix the issue.  This patch suggests that the user
check the gerrit.config file when no JDK is found.

Change-Id: I1042f7291d92189946a765c2ef170cf3707d4a91
This commit is contained in:
Conley Owens
2012-09-04 10:57:48 -07:00
parent 96a10ed60e
commit f6a6cd777d
1 changed files with 3 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
gerrit-pgm/src/main/resources/com/google/gerrit/pgm/gerrit.sh
View File

@@ -241,7 +241,9 @@ if test -z "$JAVA" \
fi
if test -z "$JAVA" ; then
echo >&2 "Cannot find a JRE or JDK. Please set JAVA_HOME to a >=1.6 JRE"
echo >&2 "Cannot find a JRE or JDK. Please set JAVA_HOME or"
echo >&2 "container.javaHome in $GERRIT_SITE/etc/gerrit.config"
echo >&2 "to a >=1.6 JRE"
exit 1
fi