From 76b3c4e7fe26f98e56f05c0d45081261161f0b0d 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 --- helm/software/daemons/uwobo/uwobo.ml | 6 ++---- helm/software/daemons/uwobo/uwobo_styles.ml | 2 +- 2 files changed, 3 insertions(+), 5 deletions(-) diff --git a/helm/software/daemons/uwobo/uwobo.ml b/helm/software/daemons/uwobo/uwobo.ml index 21fa2c851..9cad8bd55 100644 --- a/helm/software/daemons/uwobo/uwobo.ml +++ b/helm/software/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/helm/software/daemons/uwobo/uwobo_styles.ml b/helm/software/daemons/uwobo/uwobo_styles.ml index 7730857ac..658209adc 100644 --- a/helm/software/daemons/uwobo/uwobo_styles.ml +++ b/helm/software/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