Support capital letter options in doLoadFailed

Also display invalid response character.
This commit is contained in:
Ethan Atkins 2020-05-01 12:45:23 -07:00
parent 73235d12e0
commit a1ea5b72f3
1 changed files with 5 additions and 5 deletions

View File

@ -776,11 +776,11 @@ object BuiltinCommands {
result.toChar match {
case '\n' | '\r' => retry
case 'r' => retry
case 'q' => s.exit(ok = false)
case 'i' => s.log.warn(s"Ignoring load failure: $ignoreMsg."); s
case 'l' => LastCommand :: loadProjectCommand(LoadFailed, loadArg) :: s
case _ => println("Invalid response."); doLoadFailed(s, loadArg)
case 'r' | 'R' => retry
case 'q' | 'Q' => s.exit(ok = false)
case 'i' | 'I' => s.log.warn(s"Ignoring load failure: $ignoreMsg."); s
case 'l' | 'L' => LastCommand :: loadProjectCommand(LoadFailed, loadArg) :: s
case c => println(s"Invalid response: '$c'"); doLoadFailed(s, loadArg)
}
}