Fix problems with dumb terminals not being properly handled

jline · Jan 25, 2018 · e8bc984 · e8bc984
1 parent 3ac6345
commit e8bc984
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/terminal/src/main/java/org/jline/terminal/TerminalBuilder.java b/terminal/src/main/java/org/jline/terminal/TerminalBuilder.java
@@ -353,7 +353,7 @@ private Terminal doBuild() throws IOException {
                         Log.warn("Unable to create a system terminal, creating a dumb terminal (enable debug logging for more information)");
                     }
                 }
-                return new DumbTerminal(name, type != null ? type : Terminal.TYPE_DUMB,
+                return new DumbTerminal(name, Terminal.TYPE_DUMB,
                         new FileInputStream(FileDescriptor.in),
                         new FileOutputStream(FileDescriptor.out),
                         encoding, signalHandler);