Mercurial > urweb

diff src/sidecheck.sig @ 2116:ebfaab689570

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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
line wrap: on
line diff
--- a/src/sidecheck.sig	Wed Feb 11 13:12:59 2015 -0500
+++ b/src/sidecheck.sig	Thu Feb 12 15:09:26 2015 -0500
@@ -29,4 +29,9 @@
 
     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