From 0d878c16b5179b2a047475461a01da2ecfb2c255 Mon Sep 17 00:00:00 2001
From: Ciro Scognamiglio <ciro.scognamiglio@cslash.net>
Date: Thu, 24 Oct 2013 17:06:01 +0200
Subject: [PATCH] fixed a bug

---
 manifold/static/js/manifold.js | 2 --
 1 file changed, 2 deletions(-)

diff --git a/manifold/static/js/manifold.js b/manifold/static/js/manifold.js
index c4d0ef73..f035e1c2 100644
--- a/manifold/static/js/manifold.js
+++ b/manifold/static/js/manifold.js
@@ -730,7 +730,6 @@ var manifold = {
             if (publish_uuid)
                 $.publish("/results/" + publish_uuid + "/failed", [data.code, data.description] );
 
-/* DEMO - Debug Messages desactivated
             $("#notifications").notify("create", "sticky", {
               title: 'Warning',
               text: data.description
@@ -738,7 +737,6 @@ var manifold = {
               expires: false,
               speed: 1000
             });
-*/            
         }
 	if (manifold.asynchroneous_debug) 
 	    messages.debug ("========== asynchroneous_success " + query.object + " -- before process_query_records");
-- 
2.43.0