From 1cc10131de2d2d8eef68532ee5a074c047b271bc Mon Sep 17 00:00:00 2001 From: "shrek.wang" Date: Thu, 30 Aug 2012 09:31:47 +0800 Subject: [PATCH] add druidStat.sh --- src/main/scripts/{druid.bat => druidStat.bat} | 5 ++++- src/main/scripts/druidStat.sh | 8 ++++++++ 2 files changed, 12 insertions(+), 1 deletion(-) rename src/main/scripts/{druid.bat => druidStat.bat} (77%) create mode 100644 src/main/scripts/druidStat.sh diff --git a/src/main/scripts/druid.bat b/src/main/scripts/druidStat.bat similarity index 77% rename from src/main/scripts/druid.bat rename to src/main/scripts/druidStat.bat index 55d16282a2..08a41072cf 100644 --- a/src/main/scripts/druid.bat +++ b/src/main/scripts/druidStat.bat @@ -15,4 +15,7 @@ rem See the License for the specific language governing permissions and rem limitations under the License. -java -classpath "../druid.jar" com.alibaba.druid.support.console.DruidStat +set _RUNJAVA="%JAVA_HOME%\bin\java.exe" +set _TOOLSJAR="%JAVA_HOME%\lib\tools.jar" + +%_RUNJAVA% -classpath "./druid-0.2.6.jar;%_TOOLSJAR%" com.alibaba.druid.support.console.DruidStat %* diff --git a/src/main/scripts/druidStat.sh b/src/main/scripts/druidStat.sh new file mode 100644 index 0000000000..0bdb2dd8f5 --- /dev/null +++ b/src/main/scripts/druidStat.sh @@ -0,0 +1,8 @@ +#!/bin/sh + +if [ -z "$JAVA_HOME" ] ; then + echo "Error: JAVA_HOME is not defined." + exit 1 +fi + +"$JAVA_HOME/bin/java" -cp "./druid-0.2.6.jar:$JAVA_HOME/lib/tools.jar" com.alibaba.druid.support.console.DruidStat $@