# HG changeset patch
# User Nicholas Jillings <n.g.r.jillings@se14.qmul.ac.uk>
# Date 1433174445 -3600
# Node ID 4df1b4e7596f6afb4422679c4e24e2b97bf91e79
# Parent  2df5ba8845b353648db4506764dae8d0ed75e788
Better error catching when using server save to determine if the 'Save File' should be shown in browser.

diff -r 2df5ba8845b3 -r 4df1b4e7596f core.js
--- a/core.js	Mon Jun 01 12:56:15 2015 +0100
+++ b/core.js	Mon Jun 01 17:00:45 2015 +0100
@@ -378,10 +378,13 @@
 			console.log('Error saving file to server! Presenting download locally');
 			createProjectSave(null);
 		};
+		xmlhttp.onreadystatechange  = function() {
+			console.log(xmlhttp.status);
+			if (xmlhttp.status != 200 && xmlhttp.readyState == 4) {
+				createProjectSave(null);
+			}
+		};
 		xmlhttp.send(file);
-		if (xmlhttp.status == 404) {
-			createProjectSave(null);
-		}
 	}
 	return submitDiv;
 }