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 |