#!/bin/csh -f
if ( $?JRE131_HOME != 1 ) then
    echo Please define the environment variable JRE131_HOME to
    echo the home directory where JRE 1.3.1 is installed and
    echo restart the command
    exit
endif
set java_cmd="$JRE131_HOME/bin/java"
if ( $?JDM_HOME != 1 ) then
    $java_cmd -cp 1k.jar:2k.jar:om8k.jar:bs.jar:falcon.jar:jcchart450K.jar:sfc.jar:dm.jar com.baynetworks.fswitch.dm.DM $*
else 
    $java_cmd -DEMPATH=$JDM_HOME -cp $JDM_HOME/1k.jar:$JDM_HOME/2k.jar:$JDM_HOME/om8k.jar:$JDM_HOME/bs.jar:$JDM_HOME/falcon.jar:$JDM_HOME/jcchart450K.jar:$JDM_HOME/sfc.jar:$JDM_HOME/dm.jar com.baynetworks.fswitch.dm.DM $*
endif
