From 30bed0acb4fabb60f93c662aed0f1f24eb44b251 Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@inria.fr>
Date: Thu, 7 Mar 2013 15:04:51 +0100
Subject: [PATCH] dead code

---
 engine/plugin.py | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/engine/plugin.py b/engine/plugin.py
index 58ac4db3..cad2706d 100644
--- a/engine/plugin.py
+++ b/engine/plugin.py
@@ -150,11 +150,6 @@ class Plugin:
             # include css/plugins.css
             request.plugin_prelude=Prelude(css_files='css/plugin.css')
 
-    def inspect_request (self, request, message):
-        has=hasattr(request,'plugin_prelude')
-        get=getattr(request,'plugin_prelude','none-defined')
-        print "INSPECT (%s), hasattr %s, getattr %s"%(message,has,get)
-
     # can be used directly in render_content()
     def add_js_files (self, request, files):
         self._init_prelude (request)
-- 
2.43.0