From 979e108c87c745141ee6a81828c24803312f4319 Mon Sep 17 00:00:00 2001 From: Miroslav Stampar Date: Sat, 19 Jan 2013 19:06:51 +0100 Subject: [PATCH 1/3] Minor update (just for consistency with the rest of code) --- lib/core/option.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/lib/core/option.py b/lib/core/option.py index fced6ed67..ffd9338f9 100644 --- a/lib/core/option.py +++ b/lib/core/option.py @@ -290,9 +290,9 @@ def _feedTargetsDict(reqFile, addedTargetUrls): key, value = line.split(": ", 1) # Cookie and Host headers - if key.lower() == "cookie": + if key.upper() == HTTPHEADER.COOKIE.upper(): cookie = value - elif key.lower() == "host": + elif key.upper() == HTTPHEADER.HOST.upper(): if '://' in value: scheme, value = value.split('://')[:2] splitValue = value.split(":") From 6a87dd92251d8b08d2f9c48cd06e7d24211e296d Mon Sep 17 00:00:00 2001 From: Miroslav Stampar Date: Sat, 19 Jan 2013 19:07:06 +0100 Subject: [PATCH 2/3] Minor update (just for consistency with the rest of code) --- lib/core/option.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/lib/core/option.py b/lib/core/option.py index ffd9338f9..930a5f147 100644 --- a/lib/core/option.py +++ b/lib/core/option.py @@ -292,7 +292,8 @@ def _feedTargetsDict(reqFile, addedTargetUrls): # Cookie and Host headers if key.upper() == HTTPHEADER.COOKIE.upper(): cookie = value - elif key.upper() == HTTPHEADER.HOST.upper(): + elif False: + #elif key.upper() == HTTPHEADER.HOST.upper(): if '://' in value: scheme, value = value.split('://')[:2] splitValue = value.split(":") From e9641e30dba60833273e4d6cf30a719432a567e7 Mon Sep 17 00:00:00 2001 From: Miroslav Stampar Date: Sat, 19 Jan 2013 19:07:38 +0100 Subject: [PATCH 3/3] This last commit was in haste :) --- lib/core/option.py | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/lib/core/option.py b/lib/core/option.py index 930a5f147..ffd9338f9 100644 --- a/lib/core/option.py +++ b/lib/core/option.py @@ -292,8 +292,7 @@ def _feedTargetsDict(reqFile, addedTargetUrls): # Cookie and Host headers if key.upper() == HTTPHEADER.COOKIE.upper(): cookie = value - elif False: - #elif key.upper() == HTTPHEADER.HOST.upper(): + elif key.upper() == HTTPHEADER.HOST.upper(): if '://' in value: scheme, value = value.split('://')[:2] splitValue = value.split(":")