# HG changeset patch
# User Nicholas Jillings <n.g.r.jillings@se14.qmul.ac.uk>
# Date 1457534412 0
# Node ID 770ef730872b3cbf75cf16894ba6f4529ad0aaed
# Parent  a73bafb1849462dc0c359b09a7af900cc5df271d
Hotfix: Confirmation on successful save.

diff -r a73bafb18494 -r 770ef730872b core.js
--- a/core.js	Wed Mar 09 14:34:32 2016 +0000
+++ b/core.js	Wed Mar 09 14:40:12 2016 +0000
@@ -351,6 +351,7 @@
                 if (response.getAttribute("state") == "OK") {
                     var file = response.getElementsByTagName("file")[0];
                     console.log("Save: OK, written "+file.getAttribute("bytes")+"B");
+                    popup.popupContent.textContent = "Thank you. Your session has been saved.";
                 } else {
                     var message = response.getElementsByTagName("message");
                     console.log("Save: Error! "+message.textContent);