From 9a8d554f59add740d1d43c5180f465e7cfe8862a Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Wed, 21 Apr 2004 20:23:57 +0000
Subject: [PATCH] * wrap/python/cgi/ltl2tgba.in: Pass the formula to
 never_claim_reachable, and cgi.escape its output. Lighten the color a bit.

---
 ChangeLog                   | 8 ++++++--
 wrap/python/cgi/ltl2tgba.in | 9 ++++++---
 2 files changed, 12 insertions(+), 5 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index 4813d0060..1546666cf 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,4 +1,8 @@
-2004-04-21  Alexandre Duret-Lutz  <adl@gnu.org>
+2004-04-21  Alexandre Duret-Lutz  <adl@src.lip6.fr>
+
+	* wrap/python/cgi/ltl2tgba.in: Pass the formula to
+	never_claim_reachable, and cgi.escape its output.
+	Lighten the color a bit.
 
 	* src/tgbaalgos/gtec/ce.hh, src/misc/freelist.hh,
 	src/tgba/bddprint.hh: Fix Doxygen comments.
@@ -42,7 +46,7 @@
 	it.
 	Reported by Denis Poitrenaud.
 
-2004-04-17  Alexandre Duret-Lutz  <adl@gnu.org>
+2004-04-17  Alexandre Duret-Lutz  <adl@src.lip6.fr>
 
 	* iface/gspn/ltlgspn.cc (main) [SSP]: Use the standard
 	counter-example computation for -e5 too.
diff --git a/wrap/python/cgi/ltl2tgba.in b/wrap/python/cgi/ltl2tgba.in
index d300cd6a9..937514724 100644
--- a/wrap/python/cgi/ltl2tgba.in
+++ b/wrap/python/cgi/ltl2tgba.in
@@ -191,8 +191,8 @@ LTL-to-B&uuml;chi translator</H1>""" % extra_header
 
 formula = form.getfirst('formula', '')
 
-color_fm = "#D3AEF8"
-color_lacim = "#F8AED3"
+color_fm = "#DFC6F8"
+color_lacim = "#F8C6DF"
 
 options_common = [
     ('show_formula_png',    'draw the formula',                            0),
@@ -433,7 +433,10 @@ if show_degen_png:
 if show_never_claim:
     print '<H3>Never claim (for degeneralized automaton)</H3>'
     print '<PRE>'
-    spot.never_claim_reachable(spot.get_cout(), degen)
+    s = spot.ostringstream()
+    spot.never_claim_reachable(s, degen, f)
+    print cgi.escape(s.str())
+    del s
     print '</PRE>'
     sys.stdout.flush()