From 0cbcbf159c96e56c83dcb58a79142d884794a523 Mon Sep 17 00:00:00 2001 From: Miroslav Stampar Date: Wed, 19 Oct 2011 21:35:01 +0000 Subject: [PATCH] minor fix --- doc/THANKS | 6 ++++++ lib/core/threads.py | 1 + 2 files changed, 7 insertions(+) diff --git a/doc/THANKS b/doc/THANKS index 52037e867..68591dcdb 100644 --- a/doc/THANKS +++ b/doc/THANKS @@ -592,6 +592,9 @@ dragoun dash fufuh for reporting a bug when running on Windows +Hans Wurst + for reporting a bug + james for reporting a bug @@ -642,6 +645,9 @@ shiftzwei smith for reporting a minor bug +Soma Cruz + for reporting a minor bug + Stuffe for reporting a minor bug and a feature request diff --git a/lib/core/threads.py b/lib/core/threads.py index 92da90d24..c86f5916c 100644 --- a/lib/core/threads.py +++ b/lib/core/threads.py @@ -10,6 +10,7 @@ See the file 'doc/COPYING' for copying permission import difflib import threading import time +import traceback from thread import error as threadError