22 lines
468 B
Promela
22 lines
468 B
Promela
; Start the server with
|
|
;
|
|
; syndicate-server -c ./config
|
|
;
|
|
;---------------------------------------------------------------------------
|
|
|
|
; Create the main dataspace:
|
|
let ?ds = dataspace
|
|
<MainDataspace $ds>
|
|
|
|
; Expose the main dataspace directly on port 9001:
|
|
<require-service <relay-listener <tcp "0.0.0.0" 9001> $ds>>
|
|
|
|
$ds ?? <log ?ts ?detail> [
|
|
$log ! <log $ts $detail>
|
|
]
|
|
|
|
? <nginx-command ?command> [
|
|
<require-service <daemon nginx>>
|
|
<daemon nginx $command>
|
|
]
|