Beruflich Dokumente
Kultur Dokumente
PBS_HOME=/var/spool/torque
# let see how we were called
case "$1" in
start)
echo -n "Starting PBS Server: "
if [ -r $PBS_HOME/server_priv/serverdb ]
then
daemon $PBS_PREFIX/sbin/pbs_server
else
daemon $PBS_PREFIX/sbin/pbs_server -t create
echo
;;
stop)
echo -n "Shutting down PBS Server: "
killproc pbs_server
echo
;;
status)
status pbs_server
;;
restart)
$0 stop
$0 start
;;
*)
echo "Usage: pbs_server {start|stop|restart|status}"
exit 1
esac
The following /etc/init.d/pbs_sched script starts pbs_sched for Linux:
#!/bin/sh
#
# pbs_sched This script will start and stop the PBS Scheduler
#
# chkcong: 345 85 85
# description: PBS is a batch versitle batch system for SMPs and
clusters
#
# Source the library functions
. /etc/rc.d/init.d/functions
40 SeisSpace System Administration
Known Problems
Other Docs Other Docs
BASE_PBS_PREFIX=/usr/local
ARCH=$(uname -m)
AARCH="/$ARCH"
if [ -d "$BASE_PBS_PREFIX$AARCH" ]
then
PBS_PREFIX=$BASE_PBS_PREFIX$AARCH
else
PBS_PREFIX=$BASE_PBS_PREFIX