rmiregistry init script

blackdown-jdk-rmiregistry.init (text/plain), 555 bytes, created by Trenton D. Adams on 2006-01-19 13:56:28 UTC

#!/sbin/runscript
# Copyright 1999-2004 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
# $Header: $

depend() {
	use dns logger net
  provide rmiregsitry
}

start()	{
	ebegin "Starting Java RMI Registry"
  start-stop-daemon --start --quiet --chuid $RMI_USER:$RMI_GROUP --exec $JAVA_HOME/bin/$RMI_SERVER $RMI_PORT &
  /bin/pidof -s $JAVA_HOME/bin/$RMI_SERVER > /var/run/rmiregistry.pid
	eend $?
}


stop()	{
	ebegin "Stopping Java RMI Registry"
  start-stop-daemon --stop --pidfile /var/run/rmiregistry.pid
	eend $?
}