Skip to content

Instantly share code, notes, and snippets.

@kowey
Created April 12, 2010 13:37
Show Gist options
  • Select an option

  • Save kowey/363562 to your computer and use it in GitHub Desktop.

Select an option

Save kowey/363562 to your computer and use it in GitHub Desktop.
diff -ru mediawiki-0.2.4/MediaWiki/Util/Fetch.hs /home/eykk10/tmp/haskell/mediawiki-0.2.4-kowey/MediaWiki/Util/Fetch.hs
--- mediawiki-0.2.4/MediaWiki/Util/Fetch.hs 2009-01-04 04:15:55.000000000 +0000
+++ /home/eykk10/tmp/haskell/mediawiki-0.2.4-kowey/MediaWiki/Util/Fetch.hs 2009-08-25 18:40:09.000000000 +0100
@@ -49,7 +49,7 @@
Just ur -> return (defaultGETRequest ur)
-- don't like doing this, but HTTP is awfully chatty re: cookie handling..
let nullHandler _ = return ()
- (_u, resp) <- browse $ setOutHandler nullHandler >> request req
+ (_u, resp) <- browse $ setCheckForProxy True >> setOutHandler nullHandler >> request req
case rspCode resp of
(2,_,_) -> return (rspBody resp)
_ -> fail ("Failed reading URL " ++ show u ++ " code: " ++ show (rspCode resp))
@@ -81,6 +81,7 @@
}
let nullHandler _ = return ()
(u, resp) <- browse $ do
+ setCheckForProxy True
setOutHandler nullHandler
case mbU of
Nothing -> return ()
@@ -129,6 +130,7 @@
-- print req -- ,body)
let nullHandler _ = return ()
((_,rsp),cs) <- browse $ do
+ setCheckForProxy True
setOutHandler nullHandler
setAllowRedirects True
setCookies csIn
@@ -150,7 +152,7 @@
addDefaultHeaders :: Int -> [(String,String)] -> [(String,String)]
addDefaultHeaders clen hs =
- addIfMiss "User-Agent" "hs-twitter" $
+ addIfMiss "User-Agent" "haskell-mediawiki" $
addIfMiss "Content-Length" (show clen) hs
where
addIfMiss f v xs = maybe ((f,v):xs) (const xs) (lookup f xs)
Only in /home/eykk10/tmp/haskell/mediawiki-0.2.4-kowey/MediaWiki/Util: .Fetch.hs.swp
diff -ru mediawiki-0.2.4/mediawiki.cabal /home/eykk10/tmp/haskell/mediawiki-0.2.4-kowey/mediawiki.cabal
--- mediawiki-0.2.4/mediawiki.cabal 2009-01-04 04:15:55.000000000 +0000
+++ /home/eykk10/tmp/haskell/mediawiki-0.2.4-kowey/mediawiki.cabal 2009-07-24 15:13:22.000000000 +0100
@@ -1,5 +1,5 @@
Name: mediawiki
-Version: 0.2.4
+Version: 0.2.5
License: BSD3
License-file: LICENSE
Category: Web
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment