head	1.2;
access;
symbols
	JSERV_0_10_PREVIEW:1.1.0.6
	JSERV_0_9_11:1.1.0.4
	JSERV_0_9_12:1.1.0.2
	JSERV0_9_10:1.1
	JSERV0_9_10_DEV_199802091315:1.1
	JSERV_00_09_09:1.1;
locks; strict;
comment	@# @;


1.2
date	98.12.21.14.54.36;	author ed;	state dead;
branches;
next	1.1;

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


desc
@@


1.2
log
@nuked all the start-jserv stop-jserv restart-jserv files, and replaced with
a single jserv.init
@
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}`
@


1.1
log
@added stop-jserv
@
text
@@


