#!/bin/sh
#
# Start WALE License Manager (waled2)
#

### Be sure the appropriate environment variables are set
###

if test x$SHARC_HOME = 'x'; then
    echo "\$SHARC_HOME is not defined!"
    exit 1
fi

if test x$SHARC_ARCH = 'x'; then
    ARCH=`$SHARC_HOME/bin/sharc_arch`
else
    ARCH=$SHARC_ARCH
fi


if test ! -x $SHARC_HOME/license/machines/$ARCH/waled2; then
    echo "Cannot find or execute $SHARC_HOME/license/machines/$ARCH/waled2!"
    exit 1
fi

### Set the home directory of the license manager
###

LICDIR=$SHARC_HOME/license


### Set the heartbeat timeout.  Note that 600 (10 minutes) is the minimum
###

TIMEOUT=1200


### Stop an old daemon
###

echo "Stopping old WALE daemon first..."
$SHARC_HOME/license/machines/$ARCH/waled2_stop
echo " "
echo " "


### Start a fresh daemon
###

echo "Starting new daemon..."
$SHARC_HOME/license/machines/$ARCH/waled2 -b $TIMEOUT -d $LICDIR


### Report on startup status
###

$SHARC_HOME/license/machines/$ARCH/waled2_status $SHARC_HOME/license/wale2.key

if [ "$?" -ne 0 ] ; then
echo ""
echo "If you got an error from waled2_status, the waled2 daemon may not be"
echo "accepting connections yet.  Wait 60 seconds and try waled2_status again."
echo "Check the log file for addition messages."
echo ""
fi

