#!/bin/sh

######################################################
#
# Simple script that stops the JServ server.
#

#######################################################
#
# File that contains the pid of JServ
#
JSERV_LOCK_FILE=/var/lock/jserv.pid

echo "Stopping JServ..."
kill -SIGTERM `cat ${JSERV_LOCK_FILE}`
