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-07-31 00:55:23 +00:00
|
|
|
# $Header: /var/cvsroot/gentoo-x86/dev-lang/python/files/pydoc.init,v 1.5 2014/10/12 12:37:07 djc Exp $
|
2015-02-27 00:58:55 +00:00
|
|
|
|
|
|
|
|
start() {
|
|
|
|
|
local pydoc_port="${PYDOC3_3_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/pydoc3.3.pid \
|
|
|
|
|
--exec /usr/bin/pydoc3.3 -- -p "${pydoc_port}"
|
|
|
|
|
eend $?
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
stop() {
|
|
|
|
|
ebegin "Stopping pydoc server"
|
|
|
|
|
start-stop-daemon --stop --quiet --pidfile /var/run/pydoc3.3.pid
|
|
|
|
|
eend $?
|
|
|
|
|
}
|
