From 3af4e07c6abfeb03d2746d12ba6df258e8da8ce4 Mon Sep 17 00:00:00 2001 From: jvergara <jvergara@localhost> Date: Tue, 08 May 2007 16:44:01 +0000 Subject: [PATCH] Add the option -Xrs to java when we start the server as a service. This is required to avoid the server to be shutdown when is run as a service and the user logs off. --- opends/resource/bin/stop-ds.bat | 2 ++ 1 files changed, 2 insertions(+), 0 deletions(-) diff --git a/opends/resource/bin/stop-ds.bat b/opends/resource/bin/stop-ds.bat index 15ecf1d..2e9c88c 100644 --- a/opends/resource/bin/stop-ds.bat +++ b/opends/resource/bin/stop-ds.bat @@ -62,12 +62,14 @@ echo Error: JAVA_HOME environment variable is not set. echo Please set it to a valid Java 5 (or later) installation. echo %SCRIPT%: JAVA_HOME environment variable is not set. >> %LOG% +pause goto end :noValidJavaHome echo %SCRIPT%: The detected Java version could not be used. JAVA_HOME=[%JAVA_HOME%] >> %LOG% echo ERROR: The detected Java version could not be used. Please set echo JAVA_HOME to to a valid Java 5 (or later) installation. +pause goto end :setClassPath -- Gitblit v1.10.0