changeset 243:b4ca52c105ba Dev_main

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 5fd3ba494551
children 3bda6ed7cc6a ec693ceb2444
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++)
 	{