8 # Decide which java to use!
10 if [ -f /etc
/profile.d
/jdk.sh
] ;then
11 source /etc
/profile.d
/jdk.sh
12 elif [ -f /etc
/profile.d
/jre.sh
]; then
13 source /etc
/profile.d
/jre.sh
14 elif [ -f /etc
/profile.d
/openjdk6.sh
]; then
15 source /etc
/profile.d
/openjdk6.sh
17 echo "YOU NEED TO INSTALL JAVA!"
20 PID
=$
(pidof
-- $JAVA_HOME/bin
/java
${ZEMBEREK_ARGS})
23 stat_busy
"Starting Zemberek Server"
24 if [ -z "$PID" ]; then
25 $JAVA_HOME/bin
/java
${ZEMBEREK_ARGS} > /dev
/null
&
27 if [ ! -z "$PID" -o $?
-gt 0 ]; then
35 stat_busy
"Stopping Zemberek Server"
36 [ ! -z "$PID" ] && kill $PID &> /dev
/null
50 echo "usage: $0 {start|stop|restart}"