[REF] server: remove the openerp-gevent file

* use a special arg in odoo.py
* note that the previous implementation was relying on the fact that
  the openerp-gevent file was located in the same directory than the
  odoo.py file. This was no longer true since rev a0eb172cab590982168492ad16ad90c2228c6424
  This commit brings back this behavior.

1 files changed, 6 insertions, 0 deletions

diff --git a/odoo.py b/odoo.py
index 30d6983ff5a..e95814036a8 100755
--- a/odoo.py
+++ b/odoo.py
@@ -153,6 +153,12 @@ def main():
     elif len(sys.argv) == 2 and sys.argv[1] in cmds:
         cmds[sys.argv[1]]()
     else:
+        if sys.argv[1] == 'gevent':
+            sys.argv.remove('gevent')
+            import gevent.monkey
+            gevent.monkey.patch_all()
+            import psycogreen.gevent
+            psycogreen.gevent.patch_psycopg()
         import odoo
         odoo.cli.main()