Mercurial > urweb
comparison src/export.sml @ 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 |
---|---|
23 * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) | 23 * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) |
24 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE | 24 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE |
25 * POSSIBILITY OF SUCH DAMAGE. | 25 * POSSIBILITY OF SUCH DAMAGE. |
26 *) | 26 *) |
27 | 27 |
28 structure Export = struct | 28 structure Export :> EXPORT = struct |
29 | 29 |
30 open Print.PD | 30 open Print.PD |
31 open Print | 31 open Print |
32 | 32 |
33 datatype effect = | 33 datatype effect = |
34 ReadOnly | 34 ReadOnly |
35 | ReadCookieWrite | |
35 | ReadWrite | 36 | ReadWrite |
36 | 37 |
37 datatype export_kind = | 38 datatype export_kind = |
38 Link | 39 Link |
39 | Action of effect | 40 | Action of effect |
40 | Rpc of effect | 41 | Rpc of effect |
41 | 42 |
42 fun p_effect ef = | 43 fun p_effect ef = |
43 case ef of | 44 case ef of |
44 ReadOnly => string "r" | 45 ReadOnly => string "r" |
46 | ReadCookieWrite => string "rcw" | |
45 | ReadWrite => string "rw" | 47 | ReadWrite => string "rw" |
46 | 48 |
47 fun p_export_kind ck = | 49 fun p_export_kind ck = |
48 case ck of | 50 case ck of |
49 Link => string "link" | 51 Link => string "link" |