On Thursday 04 March 2004 08:46, Noel J. Bergman wrote:
> > if [ -f $PHOENIX_PID ]
> > then
> > phpid=`cat $PHOENIX_PID 2>/dev/null`
> > piddata=`ps $phpid | grep phoenix.home 2>/dev/null`
> > if [ "$piddata" != "" ]
> > then
> > echo "Already Running!!"
> > exit 1
> > fi
> > fi
> >
> > Not sure wether the phoenix team would be interested in doing somthing
> > similar so as to avoid this kind of problem!
>
> I'll cc the Avalon folks so that they can consider it.
This is already present in Phoenix, at least what is in the CVS.
start)
echo "Starting Phoenix: "
if [ -f $PHOENIX_PID ]
then
if ps -p `cat $PHOENIX_PID ` >/dev/null 2>/dev/null
then
echo "Already Running!!"
exit 1
fi
fi
Cheers
Niclas
--
+---------//-------------------+
| http://www.bali.ac |
| http://niclas.hedhman.org |
+------//----------------------+
---------------------------------------------------------------------
To unsubscribe, e-mail: [EMAIL PROTECTED]
For additional commands, e-mail: [EMAIL PROTECTED]
