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


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


desc
@@


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


