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

Start of multi-DBMS support
author Adam Chlipala <adamc@hcoop.net>
date Sun, 28 Jun 2009 13:49:32 -0400
parents 3d2f6cb6d54a
children 8f2159040bbb
line wrap: on
line diff
--- a/src/main.mlton.sml	Sun Jun 28 11:49:04 2009 -0400
+++ b/src/main.mlton.sml	Sun Jun 28 13:49:32 2009 -0400
@@ -41,6 +41,9 @@
       | "-protocol" :: name :: rest =>
         (Settings.setProtocol name;
          doArgs rest)
+      | "-dbms" :: name :: rest =>
+        (Settings.setDbms name;
+         doArgs rest)
       | "-debug" :: rest =>
         (Settings.setDebug true;
          doArgs rest)