# HG changeset patch
# User Nicholas Jillings <nickjillings@users.noreply.github.com>
# Date 1432714220 -3600
# Node ID 21381e163787a197ba6d3c26ca315394c68418e8
# Parent  244ca9c8546de19f31e05b4e232018574c395ddf
Session save to server falback to browser download if the server didn't save the file.

diff -r 244ca9c8546d -r 21381e163787 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;