POSTIN
/bin/sh
CHECK_PORT=`grep 2875 /etc/services` if [ -z "$CHECK_PORT" ]; then cat >> /etc/services << EOF # Port needed by gexecd" gexec 2875/tcp # Caltech gexec EOF fi if [ -f /var/run/xinetd.pid ]; then echo "Restarting xinetd service" service xinetd restart fi
POSTUN
/bin/sh
if [ -f /var/run/xinetd.pid ]; then echo "Restarting xinetd service" service xinetd restart fi