From 791bcf19b17f5bd4f5638b16a6e6efcffcb9602c Mon Sep 17 00:00:00 2001
From: mathieui <mathieui@mathieui.net>
Date: Wed, 28 Mar 2012 23:08:31 +0200
Subject: Fixes #2347
---
src/plugin_manager.py | 6 +++++-
1 file changed, 5 insertions(+), 1 deletion(-)
diff --git a/src/plugin_manager.py b/src/plugin_manager.py
index f414bb66..feae8aeb 100644
--- a/src/plugin_manager.py
+++ b/src/plugin_manager.py
@@ -2,9 +2,12 @@ import imp
import os
import sys
import tabs
+import logging
from config import config
from gettext import gettext as _
+log = logging.getLogger(__name__)
+
plugins_dir = config.get('plugins_dir', '')
plugins_dir = plugins_dir or\
os.path.join(os.environ.get('XDG_DATA_HOME') or\
@@ -56,7 +59,8 @@ class PluginManager(object):
imp.release_lock()
except Exception as e:
import traceback
- self.core.information(_("Could not load plugin: ") + traceback.format_exc(), 'Error')
+ log.debug("Could not load plugin: \n%s", traceback.format_exc())
+ self.core.information("Could not load plugin: %s" % e, 'Error')
return
finally:
if imp.lock_held():
--
cgit v1.2.3