#! /bin/csh -f
#
# This script starts Tango Interactive Server User Manager
#
set PORT=12000
setenv CLASSPATH=${CLASSPATH}:swingall.jar:manager.jar
if ( $1 ) then
  java webwisdom.tango.config.UserManager $1
else
  java webwisdom.tango.config.UserManager users_$PORT.tui
endif
