From 869fb42770f6820ad1915ff60a5bd6285f481308 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Mon, 29 May 2006 17:03:24 +0000 Subject: [PATCH] bugfix: - properties where applied and then discarded - useless assert false removed --- daemons/uwobo/uwobo.ml | 6 ++---- daemons/uwobo/uwobo_styles.ml | 2 +- 2 files changed, 3 insertions(+), 5 deletions(-) diff --git a/daemons/uwobo/uwobo.ml b/daemons/uwobo/uwobo.ml index 21fa2c851..9cad8bd55 100644 --- a/daemons/uwobo/uwobo.ml +++ b/daemons/uwobo/uwobo.ml @@ -288,9 +288,7 @@ let start_new_session cmd_pipe res_pipe outchan port logfile = Unix.environment () in (* 4. We exec a new copy of uwobo *) - Unix.execve Sys.executable_name [||] environment ; - (* It should never reach this point *) - assert false + Unix.execve Sys.executable_name [||] environment ) () | child when child > 0 -> (* let's check if the new UWOBO started correctly *) @@ -476,7 +474,7 @@ let callback | None -> Http_daemon.respond_error ~code:(`Status (`Client_error `Bad_request)) outchan ; end | "/apply" -> - let logger = new Uwobo_logger.processingLogger () in +(* let logger = new Uwobo_logger.processingLogger () in *) veillogger#clearMsgs; let profile = try Some (req#param "profile") with _ -> None in let password = try Some (req#param "password") with _ -> None in diff --git a/daemons/uwobo/uwobo_styles.ml b/daemons/uwobo/uwobo_styles.ml index 7730857ac..658209adc 100644 --- a/daemons/uwobo/uwobo_styles.ml +++ b/daemons/uwobo/uwobo_styles.ml @@ -174,7 +174,7 @@ class styles = raise (Uwobo_failure (sprintf "Unsupported property: %s" prop)) in let p_last_stylesheet = - Gdome_xslt.processStylesheet last_stylesheet + Gdome_xslt.processStylesheet last_stylesheet' in p_stylesheets <- ((last_key,props),p_last_stylesheet)::p_stylesheets ; -- 2.39.2