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

[console] Process signals later if console not yet initialized; Ignore window resized signal

Browse Source
This commit is contained in:
Karlatemp 2022-10-23 12:53:26 +08:00
parent 1f8524fb04
commit 48143d7b3c
No known key found for this signature in database
GPG Key ID: BA173CA2B9956C59
1 changed files with 20 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
mirai-console/frontend/mirai-console-terminal/src/MiraiConsoleTerminalLoader.kt
View File

@ -198,6 +198,26 @@ private fun initSignalHandler(): (String) -> Unit {
val shutdownMonitorLock = AtomicBoolean(false)
val lastSignalTimestamp = AtomicLong(0)
return handler@{ signalName ->
if (signalName == "WINCH") {
// Windows CMD.exe resized
return@handler
}
runCatching {
MiraiConsole.mainLogger
}.onFailure { // mirai-console not yet initialized
System.err.println("[TERMINAL] [WARNING] Received signal $signalName")
System.err.println("[TERMINAL] [WARNING] This signal will be processed later because mirai-console not yet initialized.")
// Try later
if (signalName in shutdownSignals) {
@OptIn(DelicateCoroutinesApi::class)
GlobalScope.launch {
delay(500L)
signalHandler(signalName)
}
}
return@handler
}
// JLine may process other signals
MiraiConsole.mainLogger.verbose { "Received signal $signalName" }
if (signalName !in shutdownSignals) return@handler