Mercurial > urweb

comparison 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
comparison
equal deleted inserted replaced
1334:a1aa62b472cf 1335:79557535b843
43 | "-guided-demo" :: prefix :: rest => 43 | "-guided-demo" :: prefix :: rest =>
44 (demo := SOME (prefix, true); 44 (demo := SOME (prefix, true);
45 doArgs rest) 45 doArgs rest)
46 | "-protocol" :: name :: rest => 46 | "-protocol" :: name :: rest =>
47 (Settings.setProtocol name; 47 (Settings.setProtocol name;
48 doArgs rest)
49 | "-prefix" :: prefix :: rest =>
50 (Settings.setUrlPrefix prefix;
48 doArgs rest) 51 doArgs rest)
49 | "-db" :: s :: rest => 52 | "-db" :: s :: rest =>
50 (Settings.setDbstring (SOME s); 53 (Settings.setDbstring (SOME s);
51 doArgs rest) 54 doArgs rest)
52 | "-dbms" :: name :: rest => 55 | "-dbms" :: name :: rest =>