[infra-disco] 02/04: Update to Java 17

[Ian Young]

This is an automated email from the git hooks/post-receive script.

iay pushed a commit to branch main
in repository infra-disco.

View the commit online:
http://git.shibboleth.net/view/?p=infra-disco.git;a=commit;h=875e2acda50609746d7e220ef977ec66c8b2785c

commit 875e2acda50609746d7e220ef977ec66c8b2785c
Author: Ian Young <ian at iay.org.uk>
AuthorDate: Fri Jul 4 09:23:27 2025 +0000

    Update to Java 17
---
 refresh | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/refresh b/refresh
index 10cd40c..fe58378 100755
--- a/refresh
+++ b/refresh
@@ -16,11 +16,11 @@ LOCATION=${LOCATION%/*}
 # Locate Java
 #
 if [ -z "$JAVA_HOME" ] ; then
-    if [ -d "/usr/lib/jvm/jre-11-openjdk" ] ; then
-	export JAVA_HOME=/usr/lib/jvm/jre-11-openjdk
+    if [ -d "/usr/lib/jvm/java-17-openjdk" ] ; then
+        export JAVA_HOME=/usr/lib/jvm/java-17-openjdk
     else
-	echo "Could not locate JAVA_HOME"
-	exit 1
+        echo "Could not locate JAVA_HOME"
+        exit 1
     fi
 fi
 

-- 
To stop receiving notification emails like this one, please contact
the administrator of this repository.