Update compiler/src/dotty/tools/repl/ReplDriver.scala

lihaoyi · bracevac · web-flow · commit f6654b78247f · 2025-10-09T17:41:24.000+01:00
Co-authored-by: Oliver Bračevac &lt;bracevac@users.noreply.github.com&gt;
diff --git a/compiler/src/dotty/tools/repl/ReplDriver.scala b/compiler/src/dotty/tools/repl/ReplDriver.scala
@@ -235,7 +235,7 @@ class ReplDriver(settings: Array[String],
               firstCtrlCEntered = true
               thread.interrupt()
               out.println("\nInterrupting running thread, Ctrl-C again to terminate the REPL Process")
-            }else {
+            } else {
               out.println("\nTerminating REPL Process...")
               System.exit(130)  // Standard exit code for SIGINT
             }

Original file line number	Diff line number	Diff line change
`@@ -235,7 +235,7 @@ class ReplDriver(settings: Array[String],`
`235`	`235`	`firstCtrlCEntered = true`
`236`	`236`	`thread.interrupt()`
`237`	`237`	`out.println("\nInterrupting running thread, Ctrl-C again to terminate the REPL Process")`
`238`		`- }else {`
	`238`	`+ } else {`
`239`	`239`	`out.println("\nTerminating REPL Process...")`
`240`	`240`	`System.exit(130) // Standard exit code for SIGINT`
`241`	`241`	`}`