[web2py] How can I access HTTP Headers?

[James M.]

I need to get a request header that is being sent with an http post.
I thought I could access it with something like:
request.headers['HTTP_SOME_HEADER']
but it doesn't work... I looked at all request attributes and don't
see the headers.
Any idea how to get it?