2 * Written by Richard W.M. Jones <rich@merjis.com>.
3 * Copyright (C) 2004 Merjis Ltd.
4 * $Id: page.ml,v 1.10 2004/09/09 09:35:33 rich Exp $
15 open Cocanwiki_template
19 (* Maximum level of redirection. *)
22 type fp_status = FPOK of int * string * string * Dbi.datetime * bool
23 | FPRedirect of string
26 let run r (q : cgi) (dbh : Dbi.connection) hostid {edit_anon=edit_anon} user =
27 let template_page = get_template dbh hostid "page.html" in
28 let template_404 = get_template dbh hostid "page_404.html" in
30 let page = q#param "page" in
31 let page = if page = "" then "index" else page in
33 (* Host-specific CSS? *)
34 let sth = dbh#prepare_cached "select css is not null from hosts
36 sth#execute [`Int hostid];
38 match sth#fetch1 () with
39 | [ `Bool has_host_css ] -> has_host_css
40 | _ -> assert false in
42 (* Can the user edit? Manage users? *)
43 let can_edit = can_edit edit_anon user in
44 let can_manage_users = can_manage_users user in
46 (* This code generates ordinary pages. *)
47 let make_page title description pageid last_modified_date has_page_css
49 let t = template_page in
51 t#set "description" description;
52 t#set "pageid" (string_of_int pageid);
53 t#set "last_modified_date" (printable_date last_modified_date);
55 if page <> page' then (* redirection *) (
57 t#set "original_page" page; (* XXX title - get it from database *)
58 t#conditional "redirected" true
61 t#conditional "redirected" false
64 t#conditional "has_host_css" has_host_css;
65 t#conditional "has_page_css" has_page_css;
67 t#conditional "can_edit" can_edit;
68 t#conditional "can_manage_users" can_manage_users;
70 (* Pull out the sections in this page. *)
71 let sth = dbh#prepare_cached
72 "select ordering, sectionname, content, divname
76 sth#execute [`Int pageid];
80 (function [`Int ordering; `String sectionname; `String content;
81 (`Null | `String _) as divname] ->
82 let divname, has_divname =
85 | `String divname -> divname, true in
86 [ "ordering", Template.VarString (string_of_int ordering);
87 "sectionname", Template.VarString sectionname;
90 (Wikilib.xhtml_of_content dbh hostid content);
91 "has_divname", Template.VarConditional has_divname;
92 "divname", Template.VarString divname ]
93 | _ -> assert false) in
95 t#table "sections" sections;
97 (* Are we showing an old version of the page? If so, warn. *)
100 t#conditional "is_old_version" false
102 t#conditional "is_old_version" true;
103 t#set "old_version" (string_of_int pageid));
108 t#conditional "user_logged_in" false
109 | User (_, username, _) ->
110 t#conditional "user_logged_in" true;
111 t#set "username" username);
116 (* This code generates 404 pages. *)
118 Request.set_status r 404; (* Return a 404 error code. *)
120 let t = template_404 in
126 ('a'..'z' | 'A'..'Z' | '0'..'9') as c -> c
129 t#set "search_terms" search_terms;
131 t#conditional "has_host_css" has_host_css;
133 t#conditional "can_edit" can_edit;
134 t#conditional "can_manage_users" can_manage_users;
139 (* Fetch a page by name. This function can give three answers:
140 * (1) Page fetched OK (fetches some details of the page).
141 * (2) Page is a redirect (fetches the name of the redirect page).
142 * (3) Page not found in database, ie. 404 error.
144 (* XXX Should do a case-insensitive matching of URLs, and if the URL differs
145 * in case only should redirect to the lowercase version.
147 let fetch_page page version allow_redirect =
150 if allow_redirect then (
153 "select redirect, id, title, description, last_modified_date,
155 from pages where hostid = ? and url = ?" in
156 sth#execute [`Int hostid; `String page];
158 (match sth#fetch1 () with
159 | [ `Null; `Int id; `String title; `String description;
160 `Timestamp last_modified_date; `Bool has_page_css ] ->
161 FPOK (id, title, description, last_modified_date,
163 | `String redirect :: _ ->
167 Not_found -> FPNotFound)
168 ) else (* redirects not allowed ... *) (
171 "select id, title, description, last_modified_date,
173 from pages where hostid = ? and url = ?" in
174 sth#execute [`Int hostid; `String page];
176 (match sth#fetch1 () with
177 | [ `Int id; `String title; `String description;
178 `Timestamp last_modified_date; `Bool has_page_css ] ->
179 FPOK (id, title, description, last_modified_date,
183 Not_found -> FPNotFound)
188 "select id, title, description, last_modified_date,
191 where hostid = ? and id = ? and
192 (url = ? or url_deleted = ?)" in
193 sth#execute [`Int hostid; `Int version;
194 `String page; `String page];
196 (match sth#fetch1 () with
197 | [ `Int id; `String title; `String description;
198 `Timestamp last_modified_date; `Bool has_page_css ] ->
199 FPOK (id, title, description, last_modified_date,
203 Not_found -> FPNotFound)
206 (* Here we deal with the complex business of redirects and versions. *)
207 (* Only allow the no_redirect and version syntax for editors. *)
208 let allow_redirect, version =
210 not (q#param_true "no_redirect"),
211 try Some (int_of_string (q#param "version")) with Not_found -> None
215 let rec loop page' i =
216 if i > max_redirect then (
217 error ~title:"Too many redirections" ~back_button:true
218 q ("Too many redirects between pages. This may happen because " ^
219 "of a cycle of redirections.");
222 match fetch_page page' version allow_redirect with
223 | FPOK (pageid, title, description, last_modified_date, has_page_css)->
224 make_page title description pageid last_modified_date has_page_css
226 | FPRedirect page' ->