View source for Http failure (event)

{{NeedsWork|A demonstration on the use and handling of this event would be beneficial. ''[[User:AfterLifeLochie|AfterLifeLochie]] 15:53, 30 November 2012 (MSK)''}}

{{Event
|name=http_failure
|return1=The URL to the website.
|desc=Fired when a call to [[http.request|http.request()]], [[http.get|http.get()]] or [[http.post|http.post()]] fails.
}}
{{Example
|desc=Prints a message and quits when the requested URL could not be contacted.
|code=
 http.request( "http://www.example-failure.com" )
 while true do
   event, url = os.pullEvent()
   if event == "http_failure" then
     print( "Cannot contact the server: "..url )
     break
   end
 end
}}