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