885 |
read_theme_page this_page else |
read_theme_page this_page else |
886 |
if !!html_mods then !!CommonMessages.web_common_header_mods0 |
if !!html_mods then !!CommonMessages.web_common_header_mods0 |
887 |
else !!CommonMessages.web_common_header_old) |
else !!CommonMessages.web_common_header_old) |
888 |
| "/" | "/index.html" -> |
| "/" | "/index.html" -> |
889 |
if !!use_html_frames then begin |
if !!use_html_frames then begin |
890 |
html_open_page buf t r false; |
html_open_page buf t r false; |
891 |
let this_page = "frames.html" in |
let this_page = "frames.html" in |
893 |
Buffer.add_string buf (read_theme_page this_page) else |
Buffer.add_string buf (read_theme_page this_page) else |
894 |
if !!html_mods then |
if !!html_mods then |
895 |
Printf.bprintf buf " |
Printf.bprintf buf " |
896 |
<frameset src=\"index\" rows=\"%d,25,*\"> |
<frameset src=\"index\" rows=\"%d,25,*\"> |
897 |
<frame name=\"commands\" NORESIZE SCROLLING=\"NO\" NOSHADE marginwidth=0 marginheight=0 BORDER=0 FRAMESPACING=0 FRAMEBORDER=0 src=\"commands.html\"> |
<frame name=\"commands\" NORESIZE SCROLLING=\"NO\" NOSHADE marginwidth=0 marginheight=0 BORDER=0 FRAMESPACING=0 FRAMEBORDER=0 src=\"commands.html\"> |
898 |
<frame name=\"fstatus\" NORESIZE SCROLLING=\"NO\" NOSHADE marginwidth=0 marginheight=0 BORDER=0 FRAMESPACING=0 FRAMEBORDER=0 src=\"noframe.html\"> |
<frame name=\"fstatus\" NORESIZE SCROLLING=\"NO\" NOSHADE marginwidth=0 marginheight=0 BORDER=0 FRAMESPACING=0 FRAMEBORDER=0 src=\"noframe.html\"> |
899 |
<frame name=\"output\" NORESIZE NOSHADE marginwidth=0 marginheight=0 BORDER=0 FRAMESPACING=0 FRAMEBORDER=0 src=\"oneframe.html\"> |
<frame name=\"output\" NORESIZE NOSHADE marginwidth=0 marginheight=0 BORDER=0 FRAMESPACING=0 FRAMEBORDER=0 src=\"oneframe.html\"> |
1075 |
DriverInteractive.print_search b s |
DriverInteractive.print_search b s |
1076 |
{ o with conn_filter = !filter }; |
{ o with conn_filter = !filter }; |
1077 |
|
|
1078 |
Buffer.add_string buf (html_escaped |
Buffer.add_string buf (html_escaped |
1079 |
(Buffer.contents b)) |
(Buffer.contents b)) |
1080 |
|
|
1081 |
| _ -> |
| _ -> |
1082 |
Buffer.add_string buf "Bad filter" |
Buffer.add_string buf "Bad filter" |
1083 |
end |
end |
1084 |
|
|
1094 |
let r = find_result num in |
let r = find_result num in |
1095 |
let files = result_download r [] false in |
let files = result_download r [] false in |
1096 |
List.iter CommonInteractive.start_download files; |
List.iter CommonInteractive.start_download files; |
1097 |
|
|
1098 |
let module M = CommonMessages in |
let module M = CommonMessages in |
1099 |
Gettext.buftext buf M.download_started num |
Gettext.buftext buf M.download_started num |
1100 |
with e -> |
with e -> |
1144 |
| _ -> () |
| _ -> () |
1145 |
) r.get_url.Url.args; |
) r.get_url.Url.args; |
1146 |
let b = Buffer.create 10000 in |
let b = Buffer.create 10000 in |
1147 |
|
|
1148 |
DriverInteractive.display_file_list b o; |
DriverInteractive.display_file_list b o; |
1149 |
html_open_page buf t r true; |
html_open_page buf t r true; |
1150 |
Buffer.add_string buf (html_escaped (Buffer.contents b)) |
Buffer.add_string buf (html_escaped (Buffer.contents b)) |
1205 |
CommonInteractive.set_fully_qualified_options name value; |
CommonInteractive.set_fully_qualified_options name value; |
1206 |
Buffer.add_string buf "Option value changed" |
Buffer.add_string buf "Option value changed" |
1207 |
|
|
1208 |
| args -> |
| args -> |
1209 |
List.iter (fun (s,v) -> |
List.iter (fun (s,v) -> |
1210 |
lprintf "[%s]=[%s]\n" (String.escaped s) (String.escaped v)) |
lprintf "[%s]=[%s]\n" (String.escaped s) (String.escaped v)) |
1211 |
args; |
args; |
1267 |
end |
end |
1268 |
in |
in |
1269 |
r.reply_stream <- Some (stream_file file (ref begin_pos)) |
r.reply_stream <- Some (stream_file file (ref begin_pos)) |
1270 |
|
|
1271 |
| args -> |
| args -> |
1272 |
List.iter (fun (s,v) -> |
List.iter (fun (s,v) -> |
1273 |
lprintf "[%s]=[%s]\n" (String.escaped s) (String.escaped v)) |
lprintf "[%s]=[%s]\n" (String.escaped s) (String.escaped v)) |
1274 |
args; |
args; |