Commit ac364233 authored by gartur's avatar gartur
Browse files

1.1.7

parent e992c6de
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)
\ No newline at end of file
LET delete_publish(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
delete_publish(data,dataid,dsid,d)
\ No newline at end of file
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment