13 lines
426 B
Promela
13 lines
426 B
Promela
|
; Start the server with
|
||
|
;
|
||
|
; syndicate-server -c ./syndicate-server.config.pr
|
||
|
;---------------------------------------------------------------------------
|
||
|
|
||
|
; Expose the gatekeeper on port 9001:
|
||
|
<require-service <relay-listener <tcp "0.0.0.0" 9001> $gatekeeper>>
|
||
|
|
||
|
; Create a dataspace entity, and register it with the gatekeeper with name `"syndicate"` and an
|
||
|
; empty secret key:
|
||
|
let ?ds = dataspace
|
||
|
<bind "syndicate" #x"" $ds>
|