# HG changeset patch # User amit@thunder # Date 1271153246 -19800 # Node ID d97ba9fb5ed16ca98e1deb75fa469fb08c6668a4 # Parent 8af288a4c1a906e9834fcb2673ae1668b0a1a836 Some changes to add unicode support diff -r 8af288a4c1a9 -r d97ba9fb5ed1 SEESenv/scripts/finalhtml.py --- a/SEESenv/scripts/finalhtml.py Mon Apr 12 15:19:02 2010 +0530 +++ b/SEESenv/scripts/finalhtml.py Tue Apr 13 15:37:26 2010 +0530 @@ -108,7 +108,7 @@ reg_obj=re.compile('.*',re.DOTALL) html_string=reg_obj.sub(replace_string, html_string,re.DOTALL) html_string=re.sub('>