delete_publish.mfotl 207 Bytes
Newer Older
gartur's avatar
1.1.5    
gartur committed
1
2
LET ds_deletion_request(data,dataid,dsid,p) = ds_deletion_request(data, dataid, dsid) AND ONCE share_with(p, dataid) AND NOT EVENTUALLY[0,30d] notify_proc(p,dataid) IN
ds_deletion_request(data,dataid,dsid,d)