Curious about how you approached that? Choose the tools based on what the client is using? Or, use the tools you are an expert in and deploy with those?
The project is using a Django extension called Piston: https://bitbucket.org/jespern/django-piston/wiki/Home
Which is really quite nice for building REST APIs with Django.