house/config/common.pr

24 lines
578 B
Promela
Raw Normal View History

2023-01-05 10:26:06 +00:00
; 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
2023-01-05 14:47:27 +00:00
<MainDataspace $ds>
2023-01-05 10:26:06 +00:00
<bind "syndicate" #x"" $ds>
2023-01-10 14:09:19 +00:00
$ds ?? <log ?ts ?detail> [
$log ! <log $ts $detail>
]
2023-01-05 10:26:06 +00:00
? <nginx-command ?command> [
<require-service <daemon nginx>>
<daemon nginx $command>
]