github-repos/mirai
1
0
Fork 0
mirror of https://github.com/mamoe/mirai.git synced 2025-01-10 10:30:13 +08:00
Code Issues Packages Projects Releases Wiki Activity

Stop input service when catch any error

Browse Source 
Fix #229
This commit is contained in:
Karlatemp 2020-11-29 10:03:24 +08:00
parent e391936679
commit e5bc588da7
No known key found for this signature in database
GPG Key ID: 21FBDDF664FF06F8
1 changed files with 21 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

32
frontend/mirai-console-terminal/src/ConsoleThread.kt
View File

@ -55,8 +55,8 @@ internal fun startupConsoleThread() {
}
MiraiConsole.launch(CoroutineName("Console Command")) {
while (true) {
try {
val next = MiraiConsole.requestInput("").let {
val next = try {
MiraiConsole.requestInput("").let {
when {
it.isBlank() -> it
it.startsWith(CommandManager.commandPrefix) -> it
@ -64,9 +64,25 @@ internal fun startupConsoleThread() {
else -> CommandManager.commandPrefix + it
}
}
if (next.isBlank()) {
continue
}
} catch (e: InterruptedException) {
return@launch
} catch (e: CancellationException) {
return@launch
} catch (e: UserInterruptException) {
BuiltInCommands.StopCommand.run { ConsoleCommandSender.handle() }
return@launch
} catch (eof: EndOfFileException) {
consoleLogger.warning("Closing input service...")
return@launch
} catch (e: Throwable) {
consoleLogger.error("Error in reading next command", e)
consoleLogger.warning("Closing input service...")
return@launch
}
if (next.isBlank()) {
continue
}
try {
// consoleLogger.debug("INPUT> $next")
when (val result = ConsoleCommandSender.executeCommand(next)) {
is Success -> {
@ -97,12 +113,6 @@ internal fun startupConsoleThread() {
return@launch
} catch (e: CancellationException) {
return@launch
} catch (e: UserInterruptException) {
BuiltInCommands.StopCommand.run { ConsoleCommandSender.handle() }
return@launch
} catch (eof: EndOfFileException) {
consoleLogger.warning("Closing input service...")
return@launch
} catch (e: Throwable) {
consoleLogger.error("Unhandled exception", e)
}