changeset 1047:01fcd75067c1

Small addition to #1238: Filename included.
author Nicholas Jillings <nicholas.jillings@eecs.qmul.ac.uk>
date Sun, 28 Jun 2015 09:52:47 +0100
parents e74327737152
children 7a8fcf04aad3
files core.js
diffstat 1 files changed, 3 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/core.js	Thu Jun 25 17:03:40 2015 +0100
+++ b/core.js	Sun Jun 28 09:52:47 2015 +0100
@@ -638,7 +638,9 @@
 function interfaceXMLSave(){
 	// Create the XML string to be exported with results
 	var xmlDoc = document.createElement("BrowserEvaluationResult");
-	xmlDoc.appendChild(specification.projectXML);
+	var projectDocument = specification.projectXML;
+	projectDocument.setAttribute('file-name',url);
+	xmlDoc.appendChild(projectDocument);
 	xmlDoc.appendChild(returnDateNode());
 	for (var i=0; i<testState.stateResults.length; i++)
 	{