syndicated-open/uri_runner.pr

29 lines
653 B
Promela

; configure the daemon when it is built
; (this is an artifact of the author's build system)
? <built uri_runner ?path ?hash> [
<daemon uri_runner {
argv: [$path]
protocol: application/syndicate
env: { BUILD_SUM: $hash }
}>
]
; grab a dataspace for observing <open > messages
? <socketspace ?socketspace> [
; log open messages
$socketspace ?? <open ?stuff> [
$log ! <log "-" { line: <open $stuff> }>
]
; configure the uri_runner
? <service-object <daemon uri_runner> ?cap> [
$cap {
; watch the config dataspace for handler configuration
handlerspace: $config
urispace: $socketspace
}
]
]