removed CLibrary usage

usethesource · Apr 8, 2024 · e5a8143 · e5a8143
1 parent 33fa247
commit e5a8143
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 26 deletions.
diff --git a/src/org/rascalmpl/debug/IRascalMonitor.java b/src/org/rascalmpl/debug/IRascalMonitor.java
@@ -159,7 +159,7 @@ default void jobStep(String name, String message) {
 	 * @return
 	 */
 	public static IRascalMonitor buildConsoleMonitor(InputStream in, OutputStream out) {
-		return IsTTY.isTTY()
+		return System.console() != null
 			? new TerminalProgressBarMonitor(out, in, TerminalFactory.get())
 			: new ConsoleRascalMonitor(new PrintStream(out))
 		;

diff --git a/src/org/rascalmpl/repl/IsTTY.java b/src/org/rascalmpl/repl/IsTTY.java