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

diff -r 8540d153caec -r cff21eb2c053 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]);