diff options
| author | Christophe Simonis <chs@odoo.com> | 2016-09-26 12:09:00 +0200 |
|---|---|---|
| committer | Simon Lejeune <sle@openerp.com> | 2016-09-30 12:05:49 +0200 |
| commit | 467a958ab0a4bcee03b9d4e611a65a945916b189 (patch) | |
| tree | 4f475e1a38bd7d5f081dfc5b4b681884c1835a8a /setup/setup_dev.py | |
| parent | 630b4b1d556b84649cf7b9bfe7a170114d918a36 (diff) | |
[FIX] core: handle gevent on command line correctly
Diffstat (limited to 'setup/setup_dev.py')
| -rwxr-xr-x | setup/setup_dev.py | 9 |
1 files changed, 1 insertions, 8 deletions
diff --git a/setup/setup_dev.py b/setup/setup_dev.py index dfea4b67d74..5ddac8b1a6f 100755 --- a/setup/setup_dev.py +++ b/setup/setup_dev.py @@ -153,14 +153,7 @@ def main(): elif len(sys.argv) == 2 and sys.argv[1] in cmds: cmds[sys.argv[1]]() else: - if len(sys.argv) > 1 and 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() + sys.exit('Unknow command. Command available: %r' % (cmds.keys(),)) if __name__ == "__main__": main() |
