# HG changeset patch
# User Nicholas Jillings <nickjillings@users.noreply.github.com>
# Date 1435481567 -3600
# Node ID 40c9b0a1087f823225dd53fdc801c6d89d79e49d
# Parent  8ee19699d2f98d93e4f814c42ef1e716ff682fba
Small addition to #1238: Filename included.

diff -r 8ee19699d2f9 -r 40c9b0a1087f 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++)
 	{