From 396a491dfa3a9c88d0d0c34a15be1c48d11eeeb0 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Jordan=20Aug=C3=A9?= Date: Mon, 7 Jul 2014 17:34:45 +0200 Subject: [PATCH] updated manifold --- manifoldapi/static/js/manifold.js | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/manifoldapi/static/js/manifold.js b/manifoldapi/static/js/manifold.js index 48e80a66..a9cc2a39 100644 --- a/manifoldapi/static/js/manifold.js +++ b/manifoldapi/static/js/manifold.js @@ -1570,8 +1570,8 @@ var manifold = { manifold.query_store.set_record_state(query.query_uuid, resource_key, STATE_WARNINGS, warnings); } - manifold.query_store.recount(query.query_uuid); - manifold.query_store.recount(lease_query.query_uuid); + /* This was redundant */ + // manifold.query_store.recount(query.query_uuid); // Signal the change to plugins (even if the constraint does not apply, so that the plugin can display a checkmark) data = { @@ -1606,7 +1606,6 @@ var manifold = { } - manifold.query_store.recount(query.query_uuid); manifold.query_store.recount(resource_query.query_uuid); // Signal the change to plugins (even if the constraint does not apply, so that the plugin can display a checkmark) -- 2.47.0