Commit 53d4aec3 authored by Pietro Abate's avatar Pietro Abate
Browse files

[r2005-03-07 18:06:42 by afrisch] Empty log message

Original author: afrisch
Date: 2005-03-07 18:09:28+00:00
parent 53106358
...@@ -133,7 +133,7 @@ install_web: website ...@@ -133,7 +133,7 @@ install_web: website
cp web/www/*.html web/demo.js web/cduce.css $(HTML_DIR)/ cp web/www/*.html web/demo.js web/cduce.css $(HTML_DIR)/
cp CHANGES INSTALL INSTALL.WIN32 $(HTML_DIR)/ cp CHANGES INSTALL INSTALL.WIN32 $(HTML_DIR)/
cp webiface $(CGI_DIR)/cduce cp webiface $(CGI_DIR)/cduce
cp evaluator $(CGI_DIR)/ cp evaluator $(CGI_DIR)/demo_evaluator
if test ! -d "$(HTML_DIR)/img" ; then \ if test ! -d "$(HTML_DIR)/img" ; then \
mkdir $(HTML_DIR)/img; \ mkdir $(HTML_DIR)/img; \
fi; fi;
......
...@@ -25,14 +25,15 @@ let load_expat s = ...@@ -25,14 +25,15 @@ let load_expat s =
Expat.set_start_element_handler p Load_xml.start_element_handler; Expat.set_start_element_handler p Load_xml.start_element_handler;
Expat.set_end_element_handler p Load_xml.end_element_handler; Expat.set_end_element_handler p Load_xml.end_element_handler;
Expat.set_character_data_handler p Load_xml.text_handler; Expat.set_character_data_handler p Load_xml.text_handler;
let u = Url.process s in
try try
match Url.process s with match u with
| Url.Url s -> Expat.parse p s | Url.Url s -> Expat.parse p s
| Url.Filename s -> load_from_file p s | Url.Filename s -> load_from_file p s
with Expat.Expat_error e -> with Expat.Expat_error e ->
let line = Expat.get_current_line_number p let line = Expat.get_current_line_number p
and col = Expat.get_current_column_number p in and col = Expat.get_current_column_number p in
let src = match s with let src = match u with
| Url.Url s -> "" | Url.Url s -> ""
| Url.Filename s -> Printf.sprintf " file \"%s\"," s in | Url.Filename s -> Printf.sprintf " file \"%s\"," s in
let msg = let msg =
......
...@@ -17,7 +17,7 @@ function defreq(pr) ...@@ -17,7 +17,7 @@ function defreq(pr)
function submit(pr) { function submit(pr) {
var xmlhttp = new XMLHttpRequest(); var xmlhttp = new XMLHttpRequest();
xmlhttp.open("POST", "/cgi-bin/evaluator" ,true); xmlhttp.open("POST", "/cgi-bin/demo_evaluator" ,true);
xmlhttp.onreadystatechange=function() { xmlhttp.onreadystatechange=function() {
if (xmlhttp.readyState==4) { show_result(pr,xmlhttp.responseText); } if (xmlhttp.readyState==4) { show_result(pr,xmlhttp.responseText); }
} }
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment