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

diff -r 59b1a6bb2f93 -r 3c083ee1b743 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);