#!/bin/sh
# version 2.0 
# quick maui integration in pbs

# check user root
if [ `whoami` != root ]; then
echo " WARNING" 
    echo " - Must be run by root" 1>&2
    exit 1
fi


CONFFILE="/etc/clusterserver.conf"
if  [ ! -f ${CONFFILE} ]; then
	echo "Cant find ${CONFFILE} !"
	exit 1
fi
. ${CONFFILE}

MAUI_HOME="/var/spool/maui"

if [ -f $MAUI_HOME/maui.cfg ]; then
	cp -f $MAUI_HOME/maui.cfg $MAUI_HOME/maui.cfg.$DATE.sauv
fi

cp -f $MAUI_HOME/maui.cfg.sample $MAUI_HOME/maui.cfg
echo " - Configuring Name of pbs server"
sed -e "s/NAMESERVERH/$HOSTNAME/g" $MAUI_HOME/maui.cfg.sample > $MAUI_HOME/maui.cfg
for i in `cat $NODESFILE`
do	echo "NODECFG[$i]	PARTITION=pclic ARCH=THIN MAXLOAD=10" >> $MAUI_HOME/maui.cfg
done

echo " - Restarting maui Scheduler"
service maui restart