head	1.1;
access;
symbols
	JSERV_00_09_09:1.1;
locks; strict;
comment	@# @;


1.1
date	97.12.05.22.07.30;	author jonbolt;	state Exp;
branches;
next	;


desc
@@


1.1
log
@added restart-jserv
@
text
@#!/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}`
@


