# HG changeset patch
# User Nicholas Jillings <n.g.r.jillings@se14.qmul.ac.uk>
# Date 1450463588 0
# Node ID f57ca6e75aecede270683dae881b2c4707747eea
# Parent  cb2132a832470c2be259ede2f8909c95cc420934
On XML parser error, will clear the page to show only the error message.

diff -r cb2132a83247 -r f57ca6e75aec core.js
--- a/core.js	Fri Dec 18 18:31:26 2015 +0000
+++ b/core.js	Fri Dec 18 18:33:08 2015 +0000
@@ -73,6 +73,7 @@
 		msg.textContent = "FATAL ERROR";
 		var span = document.createElement("span");
 		span.textContent = "The XML parser returned the following errors when decoding your XML file";
+		document.getElementsByTagName('body')[0].innerHTML = null;
 		document.getElementsByTagName('body')[0].appendChild(msg);
 		document.getElementsByTagName('body')[0].appendChild(span);
 		document.getElementsByTagName('body')[0].appendChild(errorNode[0]);