PREIN

/bin/sh

/usr/sbin/groupadd -g 12386 -r -f pbs > /dev/null 2>&1 ||:
# /usr/sbin/useradd -g pbs -d %{pbs_user} -r -s /bin/bash -p "" -m >/dev/null 2>&1 ||:

PREUN

/bin/sh

/usr/share/rpm-helper/del-service torque $1 pbs_server 
# /usr/share/rpm-helper/del-service torque $1 pbs_sched 
# rm -rf /var/spool/pbs/sched_logs/
# rm -rf /var/spool/pbs/sched_priv/
# rm -rf /var/spool/pbs/server_priv/
# rm -rf /var/spool/pbs/server_logs/

POSTIN

/bin/sh

#!/bin/sh
pbs_prefix=/usr
pbs_server_home=/var/spool/pbs
if [ -f "${pbs_server_home}/server_name" ]; then
        echo `hostname` > ${pbs_server_home}/server_name
fi
#if [ ! -f "${pbs_server_home}/default_server" ] ; then
#        echo "# <server hostname>" > ${pbs_server_home}/default_server
#fi
if [ -f "${pbs_server_home}/default_server" ]; then
        echo `hostname` >> ${pbs_server_home}/default_server
fi
if [ ! -f "${pbs_server_home}/server_priv/nodes" ]; then
	echo `hostname` > ${pbs_server_home}/server_priv/nodes
fi

# add pbs service
/usr/share/rpm-helper/add-service torque $1 pbs_server 
# /usr/share/rpm-helper/add-service torque $1 pbs_sched 

# mise a jour /etc/services if needed
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
fi
	
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"

POSTUN

/sbin/ldconfig

# /usr/sbin/userdel pbs