don't process empty responseText
The goal of this function appears to be to replace one content tree
with another content tree.
If the response is empty, that doesn't result in a content tree,
and thus one can't use replaceChild.
@@ -1515,6 +1515,10 @@ function refreshPart(id,url) {
window.clearInterval(intervalID);
return;
}
+ if (!rsp.responseText) {
+ console.log("Failed to retrieve response for ID " + id + ", perhaps Jenkins is unavailable");
+ return;
+ }
var p = hist.up();
var div = document.createElement('div');
