Mercurial > urweb

diff src/compiler.sml @ 1478:a10d080123ec

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
'noXsrfProtection' .urp directive
author Adam Chlipala <adam@chlipala.net>
date Fri, 24 Jun 2011 13:50:59 -0400
parents 3d0cc841cafd
children ebc30bb262d0
line wrap: on
line diff
--- a/src/compiler.sml	Thu Jun 23 08:44:03 2011 -0400
+++ b/src/compiler.sml	Fri Jun 24 13:50:59 2011 -0400
@@ -780,6 +780,7 @@
                                          NONE => ErrorMsg.error ("invalid min heap '" ^ arg ^ "'")
                                        | SOME n => minHeap := n)
                                   | "alwaysInline" => Settings.addAlwaysInline arg
+                                  | "noXsrfProtection" => Settings.addNoXsrfProtection arg
 
                                   | _ => ErrorMsg.error ("Unrecognized command '" ^ cmd ^ "'");
                                 read ()