From 791bcf19b17f5bd4f5638b16a6e6efcffcb9602c Mon Sep 17 00:00:00 2001 From: mathieui Date: Wed, 28 Mar 2012 23:08:31 +0200 Subject: [PATCH] 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():