#!/bin/sh

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

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

echo "Restarting JServ..."
kill -SIGHUP `cat ${JSERV_LOCK_FILE}`
