2 lines
68 B
Promela
2 lines
68 B
Promela
|
<require-service <relay-listener <tcp "0.0.0.0" 9001> $gatekeeper>>
|