# HG changeset patch
# User Nicholas Jillings <n.g.r.jillings@se14.qmul.ac.uk>
# Date 1432714220 -3600
# Node ID d6303bdef1657184ebc34943ad6146650578a2a4
# Parent  39e56b86307599a850525314855e89247a2d5a07
Session save to server falback to browser download if the server didn't save the file.

diff -r 39e56b863075 -r d6303bdef165 core.js
--- a/core.js	Tue May 26 18:47:59 2015 +0100
+++ b/core.js	Wed May 27 09:10:20 2015 +0100
@@ -291,6 +291,10 @@
 		var xmlhttp = new XMLHttpRequest;
 		xmlhttp.open("POST",destURL,true);
 		xmlhttp.setRequestHeader('Content-Type', 'text/xml');
+		xmlhttp.onerror = function(){
+			console.log('Error saving file to server! Presenting download locally');
+			createProjectSave(null);
+		};
 		xmlhttp.send(file);
 	}
 	return submitDiv;