The code can be found in the lecture12 and local_time branches of our start application.
NOTE: since the local_time branch modifies the auth_user table, due to a change in web2py, you might have to delete all in the databases directory via:
rm databases/*
when switching from/to the local_time app.