fix scheduler for web2py 2.9.5