#!/usr/local/bin/zsh
# ATTENTION : 
#  1- ne pas oublier le / a la fin de la ligne a completer 
#  2- le nom de la machine ($HOSTNAME) doit etre du type "qualified host" c est  a dire 
#     que champagne.enst.fr est correct et que champagne ne l'est pas
#
java -Djava.rmi.server.codebase="..."  \
		-Djava.security.policy=java.policy \
		-Djava.rmi.server.hostname=$HOSTNAME\
              Initiateur $*