cerc-io/solidity
10
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Merge pull request #8866 from ethereum/make_script_case_insensitive

Browse Source 
[Trivial] Make error correction script user interaction case insensitive
This commit is contained in:
chriseth 2020-05-07 11:45:21 +02:00 committed by GitHub
commit 98db712292
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
scripts/correct_error_ids.py
View File

@ -126,9 +126,9 @@ def main():
f"Please commit current changes first, and review the results when the script finishes.\n\n" f"Please commit current changes first, and review the results when the script finishes.\n\n"
f"Do you want to start [Y/N]? " f"Do you want to start [Y/N]? "
) )
while len(answer) == 0 or answer not in "YN": while len(answer) == 0 or answer not in "YNyn":
answer = input("[Y/N]? ") answer = input("[Y/N]? ")
if answer != "Y": if answer not in "yY":
return return
source_file_names = find_source_files(cwd) source_file_names = find_source_files(cwd)