70
70
# platforms aren't likely to have that high of an error. And even
71
71
# if they do, it is still reasonable to fall back to the next
73
if e.errno in (errno.ENOENT, errno.EACCES, errno.ENOEXEC, 193):
76
if e.errno in (errno.ENOENT, errno.EACCES, errno.ENOEXEC, 193, 123):
74
77
if candidate_source is not None:
75
78
# We tried this editor because some user configuration (an
76
79
# environment variable or config file) said to try it. Let