Merge pull request #559 from stevebosman/94_War

94 war case insensitive input
This commit is contained in:
Jeff Atwood
2022-02-07 13:29:17 -08:00
committed by GitHub

View File

@@ -39,11 +39,11 @@ function input() {
async function askYesOrNo(question) {
while (1) {
print(question);
const str = await input();
if (str == "YES") {
const str = (await input()).toUpperCase();
if (str === "YES") {
return true;
}
else if (str == "NO") {
else if (str === "NO") {
return false;
}
else {