From 5c961270fe3401ebb151b857e9e6bb3443aa0ffc Mon Sep 17 00:00:00 2001
From: jvergara <jvergara@localhost>
Date: Wed, 25 Apr 2007 17:13:06 +0000
Subject: [PATCH] Fix for issue 1273 (exception if JAVA_HOME undefined in scripts).
---
opends/resource/uninstall | 6 +++---
1 files changed, 3 insertions(+), 3 deletions(-)
diff --git a/opends/resource/uninstall b/opends/resource/uninstall
index 898d14d..01ce80b 100644
--- a/opends/resource/uninstall
+++ b/opends/resource/uninstall
@@ -43,7 +43,7 @@
then
export JAVA_BIN
else
- echo "Please set JAVA_HOME to the root of a Java 5.0 installation."
+ echo "Please set JAVA_HOME to the root of a Java 5 (or later) installation."
exit 1
fi
fi
@@ -101,7 +101,7 @@
if test ${?} -ne 0
then
echo "ERROR: The detected Java version could not be used. Please set "
- echo " JAVA_HOME to the root of a Java 5.0 installation."
+ echo " JAVA_HOME to the root of a Java 5 (or later) installation."
exit 1
fi
fi
@@ -110,7 +110,7 @@
if test ${?} -ne 0
then
echo "ERROR: The detected Java version could not be used. Please set "
- echo " JAVA_HOME to the root of a Java 5.0 installation."
+ echo " JAVA_HOME to the root of a Java 5 (or later) installation."
exit 1
fi
fi
--
Gitblit v1.10.0