make/scripts/webrev.ksh

changeset 643
c641268c4532
parent 616
168dd033604a
child 678
26a4456cb19e
equal deleted inserted replaced
642:eca3bce3d151 643:c641268c4532
3021 cleanup='s/Bug ID: \([0-9]\{5,\}\) \(.*\)/JDK-\1 : \2/' 3021 cleanup='s/Bug ID: \([0-9]\{5,\}\) \(.*\)/JDK-\1 : \2/'
3022 else 3022 else
3023 cleanup='s|\[#\(JDK-[0-9]\{5,\}\)\] \(.*\)|\1 : \2|' 3023 cleanup='s|\[#\(JDK-[0-9]\{5,\}\)\] \(.*\)|\1 : \2|'
3024 fi 3024 fi
3025 if [[ -n $WGET ]]; then 3025 if [[ -n $WGET ]]; then
3026 msg=`$WGET --timeout=10 --tries=1 -q $url -O - | grep '<title>' | sed 's/<title>\(.*\)<\/title>/\1/' | sed "$cleanup"` 3026 msg=`$WGET --timeout=10 --tries=1 -q $url -O - | grep '<title>' | sed 's/<title>\(.*\)<\/title>/\1/' | sed "$cleanup" | html_quote`
3027 fi 3027 fi
3028 if [[ -z $msg ]]; then 3028 if [[ -z $msg ]]; then
3029 msg="${id}" 3029 msg="${id}"
3030 fi 3030 fi
3031 3031

mercurial