# HG changeset patch
# User Nicholas Jillings <n.g.r.jillings@se14.qmul.ac.uk>
# Date 1515764339 0
# Node ID cbd65226e069921e3b35ab1345032859d73e5b50
# Parent  f2f0402a1e23221df0746744d490772e81c98578
#262 debug confirms

diff -r f2f0402a1e23 -r cbd65226e069 js/core.js
--- a/js/core.js	Fri Jan 12 13:34:20 2018 +0000
+++ b/js/core.js	Fri Jan 12 13:38:59 2018 +0000
@@ -3662,6 +3662,7 @@
             hold.appendChild(clone);
             return new Promise(function (resolve, reject) {
                 // Do the usual XHR stuff
+                console.log("Requested save...");
                 var req = new XMLHttpRequest();
                 req.open("POST", returnURL + "php/save.php?key=" + sessionKey + "&saveFilenamePrefix=" + parent.filenamePrefix);
                 req.setRequestHeader('Content-Type', 'text/xml');
@@ -3778,7 +3779,6 @@
                         throw ("Cannot save as key == null");
                     }
                     this.parent.root.setAttribute("state", "update");
-                    console.log("Requested save...");
                     requestChains = requestChains.then(postUpdate());
                 }
             },