15 lines
294 B
Promela
15 lines
294 B
Promela
|
; syndicate-server -c dummy-port-relay.pr
|
||
|
|
||
|
<require-service <daemon dummy-port-relay>>
|
||
|
<daemon dummy-port-relay {
|
||
|
argv: "racket -y dummy-port-relay.rkt"
|
||
|
protocol: application/syndicate
|
||
|
}>
|
||
|
|
||
|
? <service-object <daemon dummy-port-relay> ?cap> [
|
||
|
$cap {
|
||
|
config: $config
|
||
|
log: $log
|
||
|
}
|
||
|
]
|