24 lines
578 B
Promela
24 lines
578 B
Promela
; Start the server with
|
|
;
|
|
; syndicate-server -c ./config
|
|
;
|
|
;---------------------------------------------------------------------------
|
|
|
|
; 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
|
|
<MainDataspace $ds>
|
|
<bind "syndicate" #x"" $ds>
|
|
|
|
$ds ?? <log ?ts ?detail> [
|
|
$log ! <log $ts $detail>
|
|
]
|
|
|
|
? <nginx-command ?command> [
|
|
<require-service <daemon nginx>>
|
|
<daemon nginx $command>
|
|
]
|