From 16f52ab7ba49af11aa1c469c4f9a5634f1474a1d Mon Sep 17 00:00:00 2001 From: Miroslav Stampar Date: Sun, 7 Nov 2010 08:13:20 +0000 Subject: [PATCH] cosmetic fix --- lib/core/option.py | 1 + 1 file changed, 1 insertion(+) diff --git a/lib/core/option.py b/lib/core/option.py index 80dec56ee..ae22b1f21 100644 --- a/lib/core/option.py +++ b/lib/core/option.py @@ -836,6 +836,7 @@ def __setHTTPUserAgent(): * A random value read from a list of User-Agent headers from a file choosed as user option """ + if conf.agent: debugMsg = "setting the HTTP User-Agent header" logger.debug(debugMsg)