[bts-link] 12/31: mantis remove: switch to wget

[Sandro Tosi]

This is an automated email from the git hooks/post-receive script.

morph pushed a commit to branch master
in repository bts-link.

commit ad5a546d6a6208991cdd532ebdcf0ddabb5257ec
Author: Sandro Tosi <morph at debian.org>
Date:   Tue Dec 29 18:04:17 2015 +0000

    mantis remove: switch to wget
---
 remote/mantis.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/remote/mantis.py b/remote/mantis.py
index fac3bf4..851938e 100644
--- a/remote/mantis.py
+++ b/remote/mantis.py
@@ -49,7 +49,7 @@ class MantisData:
     def __init__(self, uri, id):
         self.id = id or failwith(uri, "Mantis: no id")
 
-        soup = BeautifulSoup(urllib.urlopen(uri))
+        soup = BeautifulSoup(wget(uri))
 
         self.status     = parse_table(soup, status_re) or failwith(uri, "Mantis", exn=NoStatusExn)
         self.resolution = parse_table(soup, resolution_re)

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/bts-link/bts-link.git