make/scripts/webrev.ksh
changeset 15901 3b8ad6fd84b5
parent 15576 9bceeb53e794
child 16654 09c4f110096c
--- a/make/scripts/webrev.ksh	Tue Feb 19 20:48:40 2013 -0800
+++ b/make/scripts/webrev.ksh	Wed Feb 20 17:56:16 2013 -0800
@@ -3023,7 +3023,7 @@
             cleanup='s|\[#\(JDK-[0-9]\{5,\}\)\] \(.*\)|\1 : \2|'
         fi
         if [[ -n $WGET ]]; then
-            msg=`$WGET --timeout=10 --tries=1 -q $url -O - | grep '<title>' | sed 's/<title>\(.*\)<\/title>/\1/' | sed "$cleanup"`
+            msg=`$WGET --timeout=10 --tries=1 -q $url -O - | grep '<title>' | sed 's/<title>\(.*\)<\/title>/\1/' | sed "$cleanup" | html_quote`
         fi
         if [[ -z $msg ]]; then
             msg="${id}"