EiffelWebFramework/EWF — pull request #52 by colin-adams (2013-04-05 11:43:11+00:00)
Title: Bad postcondition for handle_use_proxy

Please review, to see if this is the correct fix.