# HG changeset patch
# User Nicholas Jillings <n.g.r.jillings@se14.qmul.ac.uk>
# Date 1515763352 0
# Node ID 1ba905b737aa26420132119de2ee1786be556bc9
# Parent  d962cce75063730614a7fb618c402bad9f5e6dd8
#262 SessionKey refactoring issues

diff -r d962cce75063 -r 1ba905b737aa js/core.js
--- a/js/core.js	Fri Jan 12 13:20:06 2018 +0000
+++ b/js/core.js	Fri Jan 12 13:22:32 2018 +0000
@@ -3757,9 +3757,8 @@
                         if (xml.getElementsByTagName("state").length > 0) {
                             if (xml.getElementsByTagName("state")[0].textContent == "OK") {
                                 sessionKey = xml.getAllElementsByTagName("key")[0].textContent;
-                                this.parent.root.setAttribute("key", this.key);
-                                this.parent.root.setAttribute("state", "empty");
-                                this.update();
+                                parent.root.setAttribute("key", sessionKey);
+                                parent.root.setAttribute("state", "empty");
                                 return (true);
                             } else if (xml.getElementsByTagName("state")[0].textContent == "ERROR") {
                                 sessionKey = null;