diff options
Diffstat (limited to 'dev-lang/python/files/pydoc.init')
-rwxr-xr-x | dev-lang/python/files/pydoc.init | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/dev-lang/python/files/pydoc.init b/dev-lang/python/files/pydoc.init new file mode 100755 index 00000000000..ede01671f77 --- /dev/null +++ b/dev-lang/python/files/pydoc.init @@ -0,0 +1,25 @@ +#!/sbin/runscript +# Copyright 1999-2014 Gentoo Technologies, Inc. +# Distributed under the terms of the GNU General Public Licence v2 +# $Id$ + +start() { + local pydoc_port="${@PYDOC_PORT_VARIABLE@-${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/@PYDOC@.pid \ + --exec /usr/bin/@PYDOC@ -- -p "${pydoc_port}" + eend $? +} + +stop() { + ebegin "Stopping pydoc server" + start-stop-daemon --stop --quiet --pidfile /var/run/@PYDOC@.pid + eend $? +} |