Mercurial > urweb

comparison src/main.mlton.sml @ 856:86ec89baee01

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
cgi protocol
author Adam Chlipala <adamc@hcoop.net>
date Tue, 23 Jun 2009 17:59:23 -0400
parents 7ef4b2911b09
children 3d2f6cb6d54a
comparison
equal deleted inserted replaced
855:28e42b22424d 856:86ec89baee01
30 [] => (timing, demo, rev sources) 30 [] => (timing, demo, rev sources)
31 | "-demo" :: prefix :: rest => 31 | "-demo" :: prefix :: rest =>
32 doArgs (rest, (timing, SOME (prefix, false), sources)) 32 doArgs (rest, (timing, SOME (prefix, false), sources))
33 | "-guided-demo" :: prefix :: rest => 33 | "-guided-demo" :: prefix :: rest =>
34 doArgs (rest, (timing, SOME (prefix, true), sources)) 34 doArgs (rest, (timing, SOME (prefix, true), sources))
35 | "-protocol" :: name :: rest =>
36 (Settings.setProtocol name;
37 doArgs (rest, (timing, demo, sources)))
35 | arg :: rest => 38 | arg :: rest =>
36 let 39 let
37 val acc = 40 val acc =
38 if size arg > 0 andalso String.sub (arg, 0) = #"-" then 41 if size arg > 0 andalso String.sub (arg, 0) = #"-" then
39 case arg of 42 case arg of