Mercurial > urweb

comparison src/main.mlton.sml @ 866:03e7f111fe99

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Start of multi-DBMS support
author Adam Chlipala <adamc@hcoop.net>
date Sun, 28 Jun 2009 13:49:32 -0400
parents 3d2f6cb6d54a
children 8f2159040bbb
comparison
equal deleted inserted replaced
865:ebefb0609ac3 866:03e7f111fe99
39 (demo := SOME (prefix, true); 39 (demo := SOME (prefix, true);
40 doArgs rest) 40 doArgs rest)
41 | "-protocol" :: name :: rest => 41 | "-protocol" :: name :: rest =>
42 (Settings.setProtocol name; 42 (Settings.setProtocol name;
43 doArgs rest) 43 doArgs rest)
44 | "-dbms" :: name :: rest =>
45 (Settings.setDbms name;
46 doArgs rest)
44 | "-debug" :: rest => 47 | "-debug" :: rest =>
45 (Settings.setDebug true; 48 (Settings.setDebug true;
46 doArgs rest) 49 doArgs rest)
47 | "-timing" :: rest => 50 | "-timing" :: rest =>
48 (timing := true; 51 (timing := true;