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

diff -r 76b81557b2ca -r 826dfaa860d1 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;
 }