#!/bin/sh
#
# plexus-restart -- restart the plexus server
#
# $Id: plexus-restart,v 2.3 1993/07/08 00:11:49 sanders Exp $
#

PATH="$PATH:/usr/contrib/bin"
pid=`ps auxww | awk '/^www.*server\/plexus.pl/ {print $2}'`
kill -USR1 $pid
