# HG changeset patch
# User Nicholas Jillings <nicholas.jillings@eecs.qmul.ac.uk>
# Date 1435481567 -3600
# Node ID 01fcd75067c13fa018f4e392f600bd12084d32b6
# Parent  e74327737152575d4bccb44885b72de235c7d6d8
Small addition to #1238: Filename included.

diff -r e74327737152 -r 01fcd75067c1 core.js
--- 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++)
 	{