25 lines
500 B
Promela
25 lines
500 B
Promela
? <mail ?mail> $mail [
|
|
|
|
? <xapian ?uuid ?path> [
|
|
$log ! <log "-" { xapian: <xapian $uuid $path> }>
|
|
]
|
|
|
|
<query spam "spam" english>
|
|
|
|
? <match spam ?id ?weight ?rank > [
|
|
? <document $id ?data> [
|
|
$log ! <log "-" { spam: { docid: $id data: $data } }>
|
|
]
|
|
]
|
|
|
|
$config [
|
|
; <require-service <daemon xapian_actor>>
|
|
? <service-object <daemon xapian_actor> ?cap> [
|
|
$cap {
|
|
database: "/home/emery/mail/.notmuch/xapian"
|
|
dataspace: $mail
|
|
}
|
|
]
|
|
]
|
|
]
|