Skip to content

Commit

Permalink
Fix client problems on WIndows, fixes #387
Browse files Browse the repository at this point in the history
  • Loading branch information
gnodet committed May 19, 2021
1 parent 03e7e8e commit 9bcee29
Showing 1 changed file with 1 addition and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -162,6 +162,7 @@ public TerminalOutput(boolean noBuffering, int rollingWindowSize, Path logFile)
this.log = logFile == null ? new MessageCollector() : new FileLog(logFile);
if (!dumb) {
final Thread r = new Thread(this::readInputLoop);
r.setDaemon(true);
r.start();
this.reader = r;
} else {
Expand Down Expand Up @@ -483,7 +484,6 @@ public void close() throws Exception {
closing = true;
if (reader != null) {
reader.interrupt();
reader.join();
}
log.close();
terminal.handle(Terminal.Signal.INT, previousIntHandler);
Expand Down

0 comments on commit 9bcee29

Please sign in to comment.