pagsh provides no benefit since domtool is started using k5start, and
should have been removed ages ago. Slipped through the cracks until it
broke something.
-#!/usr/bin/pagsh.openafs
-# -*- sh-mode -*-
# This script should go in /etc/init.d/ on Debian Linux systems
# running Domtool dispatchers.
# This script should go in /etc/init.d/ on Debian Linux systems
# running Domtool dispatchers.
-#!/usr/bin/pagsh.openafs
# -*- sh -*-
# This script should go in /etc/init.d/ on Debian Linux systems
# -*- sh -*-
# This script should go in /etc/init.d/ on Debian Linux systems