31 lines
708 B
Promela
31 lines
708 B
Promela
<require-service <daemon uri_runner>>
|
|
|
|
; 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 <xdg-open …> messages
|
|
? <socketspace ?socketspace> [
|
|
|
|
; log xdg-open messages
|
|
$socketspace ?? <xdg-open ?stuff> [
|
|
$log ! <log "-" { line: <xdg-open $stuff> }>
|
|
]
|
|
|
|
; configure the uri_runner
|
|
? <service-object <daemon uri_runner> ?cap> [
|
|
$cap {
|
|
; watch the config dataspace for handler configuration
|
|
handlerspace: $config
|
|
urispace: $socketspace
|
|
}
|
|
]
|
|
|
|
]
|