diff --git a/python/helpers/pydev/pydev_monkey.py b/python/helpers/pydev/pydev_monkey.py index 4770f10939eb..07c7e2b93929 100644 --- a/python/helpers/pydev/pydev_monkey.py +++ b/python/helpers/pydev/pydev_monkey.py @@ -29,7 +29,7 @@ def patch_args(args): if is_python(args[0]): try: indC = args.index('-c') - except KeyError: + except ValueError: indC = -1 if indC != -1: