Hi,
this behavior is usually caused by broken name resolution. Please try to
set "-Djava.rmi.server.hostname" on the master computer and similarly on
each worker. Distributed TLC requires opening connections from the
worker computers to the master but also from the master to each worker.
With distributed fingerprint sets communication is even fully meshed.
For me it usually works best to set "java.rmi.server.hostname" to the
computer's (externally visible) IP address. Lets assume the master has
IP 1.2.3.4 and the worker has
5.6.7.8:
---
master: java -Djava.rmi.server.hostname=1.2.3.4 -cp tla2tools.jar
tlc2.tool.distributed.TLCServer MC
worker: java -Djava.rmi.server.hostname=5.6.7.8 -cp tla2tools.jar
tlc2.tool.distributed.TLCWorker 1.2.3.4
---
For the master running from inside the Toolbox, you can pass the
"java.rmi.server.hostname" JVM argument on the "Advanced Options" tab of
the Model Editor.
On the worker computer, does the command line show anything of interest?
Hope this helps,
Markus