[web2py] Detecting mobile devices

[Adi]

Hi all,

Is there a python library which can detect mobile devices based on
user-agent, so that I can redirect users to a mobile friendly site?
I'm looking for a Python counterpart of this: http://detectmobilebrowsers.mobi/