From ccf1a5466b18233bcc1b2ce8bd466b5b222e2960 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Andreas=20Br=C3=BCckl?= Date: Wed, 8 Apr 2015 10:31:42 +0200 Subject: [PATCH] add odoo-dev.py --- dev/Server.launch | 4 ++-- patches/gevent_eclipse_patch.patch | 13 +++++++++++++ 2 files changed, 15 insertions(+), 2 deletions(-) create mode 100644 patches/gevent_eclipse_patch.patch diff --git a/dev/Server.launch b/dev/Server.launch index e8a48a3e..42252cac 100644 --- a/dev/Server.launch +++ b/dev/Server.launch @@ -1,12 +1,12 @@ - + - + diff --git a/patches/gevent_eclipse_patch.patch b/patches/gevent_eclipse_patch.patch new file mode 100644 index 00000000..0ada5b26 --- /dev/null +++ b/patches/gevent_eclipse_patch.patch @@ -0,0 +1,13 @@ +--- ext/odoo/odoo-dev.py 2015-04-08 10:11:02.000000000 +0200 ++++ ext/odoo/odoo-dev.py 2015-04-08 10:11:02.000000000 +0200 +@@ -0,0 +1,10 @@ ++#!/usr/bin/env python ++import sys ++if sys.modules.get("gevent") is not None: ++ del sys.modules['gevent'] ++import openerp ++ ++if __name__ == "__main__": ++ openerp.cli.main() ++ ++# vim:expandtab:smartindent:tabstop=4:softtabstop=4:shiftwidth=4: