Mercurial > urweb
diff 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 |
line wrap: on
line diff
--- a/src/main.mlton.sml Tue Jun 23 15:56:04 2009 -0400 +++ b/src/main.mlton.sml Tue Jun 23 17:59:23 2009 -0400 @@ -32,6 +32,9 @@ doArgs (rest, (timing, SOME (prefix, false), sources)) | "-guided-demo" :: prefix :: rest => doArgs (rest, (timing, SOME (prefix, true), sources)) + | "-protocol" :: name :: rest => + (Settings.setProtocol name; + doArgs (rest, (timing, demo, sources))) | arg :: rest => let val acc =