# HG changeset patch
# User Nicholas Jillings <n.g.r.jillings@se14.qmul.ac.uk>
# Date 1515762921 0
# Node ID d9121773632dbc75c7db24eaeb64682490663658
# Parent  f82cda734a1eaa868ca5609916ea41dab5d69e32
Minor typos in SessionKey object

diff -r f82cda734a1e -r d9121773632d js/core.js
--- a/js/core.js	Fri Jan 12 13:11:49 2018 +0000
+++ b/js/core.js	Fri Jan 12 13:15:21 2018 +0000
@@ -3767,25 +3767,29 @@
                     });
                 }
             },
-            "update": function () {
-                if (this.key == null || requestChains === undefined) {
-                    throw ("Cannot save as key == null");
+            "update": {
+                "value": function () {
+                    if (this.key == null || requestChains === undefined) {
+                        throw ("Cannot save as key == null");
+                    }
+                    this.parent.root.setAttribute("state", "update");
+                    requestChains = requestChains.then(postUpdate());
                 }
-                this.parent.root.setAttribute("state", "update");
-                requestChains = requestChains.then(postUpdate());
             },
-            "finish": function () {
-                if (this.key == null || requestChains === undefined) {
-                    throw ("Cannot save as key == null");
+            "finish": {
+                "value": function () {
+                    if (this.key == null || requestChains === undefined) {
+                        throw ("Cannot save as key == null");
+                    }
+                    this.parent.finish();
+                    requestChains.then(postUpdate()).then(function () {
+                        console.log("OK");
+                    }, function () {
+                        createProjectSave("local");
+                    })
                 }
-                this.parent.finish();
-                requestChains.then(postUpdate()).then(function () {
-                    console.log("OK");
-                }, function () {
-                    createProjectSave("local");
-                })
             }
-        })
+        });
         return object;
     })(this);
     /*