Mercurial > urweb
comparison src/export.sig @ 735:5ccb67665d05
Only use cookie signatures when cookies might be read
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 23 Apr 2009 14:10:10 -0400 |
parents | 5819fb63c93a |
children | b106ca8200b1 |
comparison
equal
deleted
inserted
replaced
734:f2a2be93331c | 735:5ccb67665d05 |
---|---|
27 | 27 |
28 signature EXPORT = sig | 28 signature EXPORT = sig |
29 | 29 |
30 datatype effect = | 30 datatype effect = |
31 ReadOnly | 31 ReadOnly |
32 | ReadCookieWrite | |
32 | ReadWrite | 33 | ReadWrite |
33 | 34 |
34 datatype export_kind = | 35 datatype export_kind = |
35 Link | 36 Link |
36 | Action of effect | 37 | Action of effect |