}
}
}
private void handlePageLoadFailed(String url_text, XRRuntimeException ex) {
final XMLResource xr;
final String rootCause = getRootCause(ex);
final String msg = GeneralUtil.escapeHTML(addLineBreaks(rootCause, 80));
String notFound =
"<?xml version=\"1.0\" encoding=\"UTF-8\"?>\n" +
"<!DOCTYPE html PUBLIC \" -//W3C//DTD XHTML 1.0 Strict//EN\" \"http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd\">\n" +
"<html xmlns=\"http://www.w3.org/1999/xhtml\" xml:lang=\"en\" lang=\"en\">\n" +
"<body>\n" +
"<h1>Document can't be loaded</h1>\n" +
"<p>Could not load the page at \n" +
"<pre>" + GeneralUtil.escapeHTML(url_text) + "</pre>\n" +
"</p>\n" +
"<p>The page failed to load; the error was </p>\n" +
"<pre>" + msg + "</pre>\n" +
"</body>\n" +
"</html>";
xr = XMLResource.load(new StringReader(notFound));
SwingUtilities.invokeLater(new Runnable() {
public void run() {
root.panel.view.setDocument(xr.getDocument(), null);
}
});
}