#!/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
if ( $?JRE130_HOME != 1 ) then
    echo Please define the environment variable JRE130_HOME to
    echo the home directory where JRE 1.3.0 is installed and
    echo restart the command.  This is necessary to run JDM
    echo within OSM.
    exit
endif
set java_cmd="$JRE131_HOME/bin/java"
if ( $?OSM_HOME != 1 ) then
    $java_cmd -cp tm.jar com.baynetworks.fswitch.tm.TopologyManager $*
else 
    $java_cmd -DOSMPATH=$OSM_HOME -cp $OSM_HOME/tm.jar com.baynetworks.fswitch.tm.TopologyManager $*
endif
