Mercurial > urweb
comparison src/main.mlton.sml @ 856:86ec89baee01
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 |