tornadoweb/tornado — pull request #1071 by SuminAndrew (2014-06-05 11:39:47+00:00)
Title: add headers property to HTTPError

Currently there is no way of setting additional headers when raising HTTPError