PREIN
/bin/sh
/usr/sbin/groupadd -g 12386 -r -f pbs > /dev/null 2>&1 ||:
PREUN
/bin/sh
/usr/share/rpm-helper/del-service OpenPBS $1 pbs_mom
# rm -rf /var/spool/pbs/mom_logs/
# rm -rf /var/spool/pbs/mom_priv/
POSTIN
/bin/sh
pbs_prefix=/usr
pbs_server_home=/var/spool/pbs
default_master=`hostname`
default_domain=`domainname`
echo ${master} > ${pbs_server_home}/server_name
if [ -f "${pbs_server_home}/mom_priv/config" ]; then
cat >> ${pbs_server_home}/mom_priv/config << EOF
## rule is defined by the name
# \$ideal_load 2.0
# \$max_load 3.5
## host allowed to connect to Mom server on unprivileged port
\$restricted *.${default_domain}
## log event :
# 0x1ff log all events + debug events
# 0x0ff just all events
\$logevent 0x0ff
## host allowed to connect to mom server on privileged port
\$clienthost ${master}
## alarm if the script hang or take very long time to execute (sec)
\$prologalarm 30
EOF
fi
CHECK_PORT=`grep 15003 /etc/services`
if [ -z "$CHECK_PORT" ]; then
cat >> /etc/services << EOF
# Port needed by PBS
pbs_server 15001/tcp # pbs server
pbs_mom 15002/tcp # mom to/from server
pbs_resmon 15003/tcp # mom resource management requests
pbs_resmon 15003/udp # mom resource management requests
pbs_sched 15004/tcp # scheduler
EOF
else
echo ""
echo "Documentation in /usr/share/doc/OpenPBS"
echo "!!!!!!!!!!!!!!!!"
echo "End users may not use it unless they register at Openpbs.org site."
echo "Please REGISTER:"
echo "http://www.openpbs.org/request.php3"
fi
/usr/share/rpm-helper/add-service OpenPBS $1 pbs_mom