Parent Directory
|
Revision Log
[r2004-06-29 23:06:06 by afrisch] Cleanup. Remove options --pxp and --expat Original author: afrisch Date: 2004-06-29 23:06:08+00:00
| 1 | type url = Filename of string | Url of string |
| 2 | |
| 3 | let is_url s = |
| 4 | try let _ = Neturl.extract_url_scheme s in true |
| 5 | with Neturl.Malformed_URL -> false |
| 6 | |
| 7 | let no_load_url s = |
| 8 | let msg = |
| 9 | Printf.sprintf |
| 10 | "Error \"%s\": \nTo fetch external URLs, you need to compile CDuce with curl and/or netclient" s |
| 11 | in |
| 12 | raise (Location.Generic msg) |
| 13 | |
| 14 | let load_url = ref no_load_url |
| 15 | |
| 16 | let process s = |
| 17 | if is_url s then Url (!load_url s) |
| 18 | else Filename s |
| CVS Admin">CVS Admin | ViewVC Help |
| Powered by ViewVC 1.1.5 |