#!/bin/sh
#
# plexus-restart -- restart the plexus server
#
# plexus-restart,v 2.5 1993/09/20 22:42:29 sanders Exp
#

kill -USR1 `cat /usr/local/www/plexus.pid`
exit 0
