Commit f91bd4c6 authored by Leigh Stoller's avatar Leigh Stoller

Add portal_monitor startup.x

parent 459fce68
......@@ -151,6 +151,11 @@ case "$1" in
echo -n " apt_checkup"
@prefix@/sbin/apt_checkup
fi
if [ -x @prefix@/sbin/portal_monitor ]; then
echo -n " portal_monitor"
@prefix@/sbin/portal_monitor
fi
#
# Could trigger experiment creation, so make sure everything
# else is setup first; i.e., run this last!
......@@ -281,6 +286,9 @@ case "$1" in
if [ -r /var/run/apt_checkup.pid ]; then
kill `cat /var/run/apt_checkup.pid`
fi
if [ -r /var/run/portal_monitor.pid ]; then
kill `cat /var/run/portal_monitor.pid`
fi
if [ -r /var/run/attend.pid ]; then
kill `cat /var/run/attend.pid`
fi
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment