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 | fa1ac29899b0a7d37bc8e0d42fc90f98543471fc (patch) | |
| tree | 596746366c6cc096adda95bb8ba55907ef3230f7 /src/sidecheck.sig | |
| parent | a06a5b0fdd2c80ae5d5190b74a5c560ed4b1e0fa (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 |