* wrap/python/cgi/ltl2tgba.in: Pass the formula to

never_claim_reachable, and cgi.escape its output.
Lighten the color a bit.

ChangeLog

-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.

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()