@echo off
: NOTE: Tonic benchmarks use only the public 'JavaSpaces' group
if not "%1" == "" goto start
echo Usage: runworker NAME_OF_HOST_RUNNING_JAVASPACES_SERVER
goto done
:start
java -classpath ..\lib\tonicw.jar -Djava.security.policy=policy.all -Dcom.sun.jini.lookup.locator=jini://%1/ -Dcom.sun.jini.lookup.groups=public -Doutrigger.spacename=JavaSpaces Worker
:done