changeset 2053:8d5a86dff195

Small addition to #1238: Filename included.
author Nicholas Jillings <nickjillings@users.noreply.github.com>
date Sun, 28 Jun 2015 09:52:47 +0100
parents 6003efe433c6
children a164db84aaef
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++)
 	{