Merge pull request #4082 from eed3si9n/wip/repl

Re-fixing console and JLine
This commit is contained in:
Dale Wijnand 2018-04-09 11:23:58 +01:00 committed by GitHub
commit 98e2b0b5d3
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 1 deletions

View File

@ -41,7 +41,9 @@ final class Console(compiler: AnalyzingCompiler) {
implicit log: Logger): Try[Unit] = {
def console0() =
compiler.console(classpath, options, initialCommands, cleanupCommands, log)(loader, bindings)
JLine.withJLine(Run.executeTrapExit(console0, log))
JLine.usingTerminal { _ =>
Run.executeTrapExit(console0, log)
}
}
}