# shell script to run the domain server
# $Id: runServer,v 1.5 2000/09/11 12:54:41 kiefer Exp $

# TODO: adapt to your settings
# setenv DSURL ${HOME}/public_html/DS_Ref
DSURL=${HOME}/public_html/jacorb/DS_Ref

echo jaco jacorb.orb.domain.DomainServer ${DSURL}

jaco jacorb.orb.domain.DomainServer ${DSURL}
