From 518f933fb848848e91456474fb52c153854de95f Mon Sep 17 00:00:00 2001
From: mathieui <mathieui@mathieui.net>
Date: Sat, 10 Aug 2013 01:50:03 +0200
Subject: Fix #2343

---
 src/theming.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/theming.py b/src/theming.py
index dd42342c..d62b47ae 100644
--- a/src/theming.py
+++ b/src/theming.py
@@ -451,7 +451,7 @@ def reload_theme():
         log.error('Failed to load the theme %s', theme_name, exc_info=True)
         exc = e
     finally:
-        if version_info[1] < 3:
+        if version_info[1] < 3 and imp.lock_held():
             imp.release_lock()
 
     if not new_theme:
-- 
cgit v1.2.3