(*
- * Copyright (C) 2000, HELM Team.
+ * Copyright (C) 2003, HELM Team.
*
* This file is part of HELM, an Hypertextual, Electronic
* Library of Mathematics, developed at the Computer Science
Pcre.replace ~pat:"\n+$" (Buffer.contents buf)
let my_own_url =
sprintf
- "http://%s%s/"
+ "http://%s%s" (* without trailing '/' *)
host
(if port = 80 then "" else (sprintf ":%d" port))
let dtd_base_url = safe_getenv "HTTP_GETTER_DTD_BASE_URL"