1#!/bin/sh
2
3DIRNAME=`dirname "$0"`
4PROGNAME=`basename "$0"`
5GREP="grep"
6
7# Use the maximum available, or set MAX_FD != -1 to use that
8MAX_FD="maximum"
9
10#
11# Helper to complain.
12#
13warn() {
14    echo "${PROGNAME}: $*"
15}
16
17#
18# Helper to puke.
19#
20die() {
21    warn $*
22    exit 1
23}
24
25# OS specific support (must be 'true' or 'false').
26cygwin=false;
27darwin=false;
28case "`uname`" in
29    CYGWIN*)
30        cygwin=true
31        ;;
32
33    Darwin*)
34        darwin=true
35        ;;
36esac
37
38# For Cygwin, ensure paths are in UNIX format before anything is touched
39if $cygwin ; then
40    [ -n "$JBOSS_HOME" ] &&
41        JBOSS_HOME=`cygpath --unix "$JBOSS_HOME"`
42    [ -n "$JAVA_HOME" ] &&
43        JAVA_HOME=`cygpath --unix "$JAVA_HOME"`
44    [ -n "$JAVAC_JAR" ] &&
45        JAVAC_JAR=`cygpath --unix "$JAVAC_JAR"`
46fi
47
48# Setup JBOSS_HOME
49# Setup JBOSS_HOME
50RESOLVED_JBOSS_HOME=`cd "$DIRNAME/.."; pwd`
51if [ "x$JBOSS_HOME" = "x" ]; then
52    # get the full path (without any relative bits)
53    JBOSS_HOME=$RESOLVED_JBOSS_HOME
54else
55 SANITIZED_JBOSS_HOME=`cd "$JBOSS_HOME"; pwd`
56 if [ "$RESOLVED_JBOSS_HOME" != "$SANITIZED_JBOSS_HOME" ]; then
57   echo "WARNING JBOSS_HOME may be pointing to a different installation - unpredictable results may occur."
58   echo ""
59 fi
60fi
61export JBOSS_HOME
62
63# Setup the JVM
64if [ "x$JAVA" = "x" ]; then
65    if [ "x$JAVA_HOME" != "x" ]; then
66        JAVA="$JAVA_HOME/bin/java"
67    else
68        JAVA="java"
69    fi
70fi
71
72if [ "x$JBOSS_MODULEPATH" = "x" ]; then
73    JBOSS_MODULEPATH="$JBOSS_HOME/modules"
74fi
75
76###
77# Setup the JBoss Vault Tool classpath
78###
79
80
81# For Cygwin, switch paths to Windows format before running java
82if $cygwin; then
83    JBOSS_HOME=`cygpath --path --windows "$JBOSS_HOME"`
84    JBOSS_MODULEPATH=`cygpath --path --windows "$JBOSS_MODULEPATH"`
85fi
86
87# Display our environment
88echo "========================================================================="
89echo ""
90echo "  JBoss Vault"
91echo ""
92echo "  JBOSS_HOME: $JBOSS_HOME"
93echo ""
94echo "  JAVA: $JAVA"
95echo ""
96echo "========================================================================="
97echo ""
98
99eval \"$JAVA\" $JAVA_OPTS \
100         -jar \""$JBOSS_HOME"/jboss-modules.jar\" \
101         -mp \""${JBOSS_MODULEPATH}"\" \
102         org.jboss.as.vault-tool \
103         '"$@"'
104
105