Mercurial > urweb
comparison src/sidecheck.sig @ 2116:ebfaab689570
The 2nd half of proper CSRF protection related to environment variables
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Thu, 12 Feb 2015 15:09:26 -0500 |
parents | 154cfe2eb366 |
children |
comparison
equal
deleted
inserted
replaced
2115:3dc020fb2aa1 | 2116:ebfaab689570 |
---|---|
27 | 27 |
28 signature SIDE_CHECK = sig | 28 signature SIDE_CHECK = sig |
29 | 29 |
30 val check : Mono.file -> Mono.file | 30 val check : Mono.file -> Mono.file |
31 | 31 |
32 (* While we're checking, we'll do some other signature-related work, recording | |
33 * which environment variables are read. This function conveys the list, | |
34 * coming from the most recent call to [check]. *) | |
35 val readEnvVars : unit -> string list | |
36 | |
32 end | 37 end |