Mercurial > urweb
comparison src/main.mlton.sml @ 1335:79557535b843
-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 => |