Parent Directory
|
Revision Log
[r2004-03-09 22:59:09 by afrisch] meilleure gestion netclient Original author: afrisch Date: 2004-03-09 22:59:09+00:00
| 1 | type url = Filename of string | Url of string |
| 2 | |
| 3 | val curl_support : bool |
| 4 | val netclient_support : bool |
| 5 | |
| 6 | (* Returns whether a string is a valid url. *) |
| 7 | |
| 8 | val is_url: string -> bool |
| 9 | |
| 10 | |
| 11 | (* It recognizes if it is a valid url. If it is connect and bufferize |
| 12 | * in a string otherwise consider it as filename |
| 13 | *) |
| 14 | |
| 15 | val process: string -> url |
| CVS Admin">CVS Admin | ViewVC Help |
| Powered by ViewVC 1.1.5 |