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

diff -r d8a715a63e6f -r f2f0402a1e23 js/core.js
--- a/js/core.js	Fri Jan 12 13:26:50 2018 +0000
+++ b/js/core.js	Fri Jan 12 13:34:20 2018 +0000
@@ -3778,6 +3778,7 @@
                         throw ("Cannot save as key == null");
                     }
                     this.parent.root.setAttribute("state", "update");
+                    console.log("Requested save...");
                     requestChains = requestChains.then(postUpdate());
                 }
             },