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