odoo/odoo — pull request #700 by gbisheimer (2014-06-20 18:50:31+00:00)
Title: [FIX] auto_reload bug in server.py

This PR fixes #699