7 PID
=`pidof -o %PPID /usr/bin/ivman`
10 stat_busy
"Starting ivman Device Manager"
11 if [ -z "$PID" ]; then
12 if [ ! -f /etc
/ivman
/IvmConfigBase.xml
]; then
13 echo "ERROR: Make sure '/etc/ivman/IvmConfigBase.xml' exists"
17 /usr
/bin
/ivman
> /dev
/null
19 if [ ! -f /var
/run
/daemons
/hal
]; then
21 echo "ERROR: 'hal' is not running"
22 if [ ! -f /var
/run
/daemons
/dbus
]; then
23 echo "NOTE: 'hal' needs 'dbus' to be running - you need to start both!"
27 if [ ! -z "$PID" -o $?
-gt 0 ]; then
35 stat_busy
"Stopping ivman Device Manager"
36 [ ! -z "$PID" ] && kill $PID &> /dev
/null
50 echo "usage: $0 {start|stop|restart}"