Mercurial > urweb

diff src/main.mlton.sml @ 1335:79557535b843

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
-prefix command-line option
author Adam Chlipala <adam@chlipala.net>
date Sun, 12 Dec 2010 10:44:19 -0500
parents d2ad997ca157
children 9cb923efea4d
line wrap: on
line diff
--- a/src/main.mlton.sml	Sun Dec 12 10:35:04 2010 -0500
+++ b/src/main.mlton.sml	Sun Dec 12 10:44:19 2010 -0500
@@ -46,6 +46,9 @@
       | "-protocol" :: name :: rest =>
         (Settings.setProtocol name;
          doArgs rest)
+      | "-prefix" :: prefix :: rest =>
+        (Settings.setUrlPrefix prefix;
+         doArgs rest)
       | "-db" :: s :: rest =>
         (Settings.setDbstring (SOME s);
          doArgs rest)