Mercurial > urweb

comparison 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
comparison
equal deleted inserted replaced
1477:d65387bdc557 1478:a10d080123ec
778 | "minHeap" => 778 | "minHeap" =>
779 (case Int.fromString arg of 779 (case Int.fromString arg of
780 NONE => ErrorMsg.error ("invalid min heap '" ^ arg ^ "'") 780 NONE => ErrorMsg.error ("invalid min heap '" ^ arg ^ "'")
781 | SOME n => minHeap := n) 781 | SOME n => minHeap := n)
782 | "alwaysInline" => Settings.addAlwaysInline arg 782 | "alwaysInline" => Settings.addAlwaysInline arg
783 | "noXsrfProtection" => Settings.addNoXsrfProtection arg
783 784
784 | _ => ErrorMsg.error ("Unrecognized command '" ^ cmd ^ "'"); 785 | _ => ErrorMsg.error ("Unrecognized command '" ^ cmd ^ "'");
785 read () 786 read ()
786 end 787 end
787 788