From c234f555055c2b891f20970b5af38187d2116f87 Mon Sep 17 00:00:00 2001 From: Thierry Parmentelat Date: Thu, 11 Apr 2013 16:06:03 +0200 Subject: [PATCH] cosmetic --- manifold/js/manifold.js | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/manifold/js/manifold.js b/manifold/js/manifold.js index 4eb58fac..bea64c6f 100644 --- a/manifold/js/manifold.js +++ b/manifold/js/manifold.js @@ -79,8 +79,7 @@ var manifold = { // however in some cases we wish to publish the results under a different uuid // e.g. an updater wants to publish its results as if from the original (get) query asynchroneous_success : function (data, query, publish_uuid, domid) { - if (manifold.asynchroneous_debug) - messages.debug("received manifold result with code " + data.code); + if (manifold.asynchroneous_debug) messages.debug("received manifold result with code " + data.code); // xxx should have a nicer declaration of that enum in sync with the python code somehow if (data.code == 1) { alert("Your session has expired, please log in again"); -- 2.43.0