#!/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_40.jar:2k_40.jar:om8k_40.jar:bs_40.jar:falcon_40.jar:jcchart450K.jar:sfc.jar:dm_40.jar com.baynetworks.fswitch.dm.DM $*
else 
    $java_cmd -DEMPATH=$JDM_HOME -cp $JDM_HOME/1k_40.jar:$JDM_HOME/2k_40.jar:$JDM_HOME/om8k_40.jar:$JDM_HOME/bs_40.jar:$JDM_HOME/falcon_40.jar:$JDM_HOME/jcchart450K.jar:$JDM_HOME/sfc.jar:$JDM_HOME/dm_40.jar com.baynetworks.fswitch.dm.DM $*
endif
