Bug id: | "
url="${BUGURL}${id}"
+ if [[ -n "$Oflag" ]]; then
+ cleanup='s/Bug ID: \([0-9]\{5,\}\) \(.*\)/JDK-\1 : \2/'
+ else
+ cleanup='s|\[#\(JDK-[0-9]\{5,\}\)\] \(.*\)|\1 : \2|'
+ fi
if [[ -n $WGET ]]; then
- msg=`$WGET -q $url -O - | grep '' | sed 's/\(.*\)<\/title>/\1/' | sed 's/Bug ID://'`
+ msg=`$WGET --timeout=10 --tries=1 -q $url -O - | grep '' | sed 's/\(.*\)<\/title>/\1/' | sed "$cleanup"`
fi
- if [[ -n $msg ]]; then
- print "$msg"
- else
- print $id | bug2url
+ if [[ -z $msg ]]; then
+ msg="${id}"
fi
-
+
+ print "$msg"
+
print " |
"
done
fi
@@ -3179,4 +3194,3 @@
print "Done."
print "Output to: $WDIR"
-