2015-02-27 00:58:55 +00:00
|
|
|
#!/sbin/runscript
|
2015-07-31 00:55:23 +00:00
|
|
|
# Copyright 1999-2014 Gentoo Technologies, Inc.
|
2015-02-27 00:58:55 +00:00
|
|
|
# Distributed under the terms of the GNU General Public Licence v2
|
2015-08-16 17:20:11 +00:00
|
|
|
# $Id$
|
2015-02-27 00:58:55 +00:00
|
|
|
|
|
|
|
|
start() {
|
|
|
|
|
local pydoc_port="${PYDOC2_7_PORT-${PYDOC_PORT}}"
|
|
|
|
|
|
|
|
|
|
if [ -z "${pydoc_port}" ]; then
|
|
|
|
|
eerror "Port not set"
|
|
|
|
|
return 1
|
|
|
|
|
fi
|
|
|
|
|
|
|
|
|
|
ebegin "Starting pydoc server on port ${pydoc_port}"
|
|
|
|
|
start-stop-daemon --start --background --make-pidfile \
|
|
|
|
|
--pidfile /var/run/pydoc2.7.pid \
|
|
|
|
|
--exec /usr/bin/pydoc2.7 -- -p "${pydoc_port}"
|
|
|
|
|
eend $?
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
stop() {
|
|
|
|
|
ebegin "Stopping pydoc server"
|
|
|
|
|
start-stop-daemon --stop --quiet --pidfile /var/run/pydoc2.7.pid
|
|
|
|
|
eend $?
|
|
|
|
|
}
|
