1 files changed, 49 insertions, 0 deletions
diff --git a/development/icecream/rc.icecc-scheduler b/development/icecream/rc.icecc-scheduler
new file mode 100644
index 0000000000..d40e0d81ef
--- /dev/null
+++ b/development/icecream/rc.icecc-scheduler
@@ -0,0 +1,49 @@
+#!/bin/sh
+# Start/stop/restart scheduler.
+# $Id: rc.scheduler,v 1.0 2009/04/18
+# Author: Heinz Wiesinger <pprkut@liwjatan.at>
+# ---------------------------------------------------------------------------
+
+PID=$(/sbin/pidof -o %PPID scheduler)
+
+# Get the configuration information from /etc/rc.d/rc.icecream.conf:
+. /etc/rc.d/rc.icecream.conf
+
+# Start scheduler:
+scheduler_start() {
+  if [ -n "$PID" ]; then
+    echo "Distributed compiler scheduler already running"
+    exit
+  fi
+  if [ -x /usr/sbin/scheduler ]; then
+    echo "Starting distributed compiler scheduler:  /usr/sbin/scheduler "
+    /usr/sbin/scheduler -n $NETWORK -d
+  fi
+}
+
+# Stop scheduler:
+scheduler_stop() {
+  echo "Stopping distributed compiler scheduler"
+  killall scheduler 1> /dev/null 2> /dev/null
+}
+
+# Restart scheduler:
+scheduler_restart() {
+  scheduler_stop
+  sleep 1
+  scheduler_start
+}
+
+case "$1" in
+'start')
+  scheduler_start
+  ;;
+'stop')
+  scheduler_stop
+  ;;
+'restart')
+  scheduler_restart
+  ;;
+*)
+  echo "usage $0 start|stop|restart"
+esac