4 lines
126 B
Promela
4 lines
126 B
Promela
|
let ?root_ds = dataspace
|
||
|
<require-service <relay-listener <tcp "0.0.0.0" 8001> $gatekeeper>>
|
||
|
<bind "syndicate" #x"" $root_ds>
|