Hello Marcus,
Thank You for the clarification.
Cheers,
Jukka
Hi Jukka,
TLC uses RMI as a communication protocol. The RMI registry at the server
binds to port 10997 (unless the system property
tlc2.tool.distributed.TLCServer.port is set to something different). For
any subsequent communication, the client and server select a random port
between 0-65535.
Client-server communication is bidirectional. If you additionally use
distributed FPSets, you pretty much end up with a mesh where all nodes
have to talk to each other.
Cheers
Markus