in src/main/kotlin/com/jetbrains/micropython/repl/ToolWindowReplTab.kt [143:156]
override fun startOrRestartRepl(interrupt: Boolean) {
interruptBanner()
application.executeOnPooledThread {
synchronized(this) {
terminalWidget.processTtyConnector?.process?.apply {
if (isAlive) destroy()
waitFor(10, TimeUnit.SECONDS)
}
}
application.invokeLater(
{ startRepl(interrupt) },
{ module.project.isDisposed })
}
}