diff options
author | Adam Chlipala <adam@chlipala.net> | 2015-02-12 15:09:26 -0500 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2015-02-12 15:09:26 -0500 |
commit | 1ea383a0e73f63d142d3539d984c9e2f4b7f0076 (patch) | |
tree | 596746366c6cc096adda95bb8ba55907ef3230f7 /src/sidecheck.sig | |
parent | db08876a6942aea26ef0d798a0951fc559e2c624 (diff) |
The 2nd half of proper CSRF protection related to environment variables
Diffstat (limited to 'src/sidecheck.sig')
-rw-r--r-- | src/sidecheck.sig | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/sidecheck.sig b/src/sidecheck.sig index 30abced6..1e3e2275 100644 --- a/src/sidecheck.sig +++ b/src/sidecheck.sig @@ -29,4 +29,9 @@ signature SIDE_CHECK = sig val check : Mono.file -> Mono.file + (* While we're checking, we'll do some other signature-related work, recording + * which environment variables are read. This function conveys the list, + * coming from the most recent call to [check]. *) + val readEnvVars : unit -> string list + end |