Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Make fail() in main.py use exit code 2
This is in line with the recommendation from python#6003. (It is called if there's something wrong with a filename.)
- Loading branch information