override fun startOrRestartRepl()

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 })
        }
    }