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

lihaoyi · bracevac · tgodzik · commit d3811067b04b · 2025-11-05T13:57:14.000+01:00
Co-authored-by: Oliver Bračevac <bracevac@users.noreply.github.com> [Cherry-picked f6654b7]
diff --git a/compiler/src/dotty/tools/repl/ReplDriver.scala b/compiler/src/dotty/tools/repl/ReplDriver.scala
@@ -219,7 +219,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
`@@ -219,7 +219,7 @@ class ReplDriver(settings: Array[String],`
`219`	`219`	`firstCtrlCEntered = true`
`220`	`220`	`thread.interrupt()`
`221`	`221`	`out.println("\nInterrupting running thread, Ctrl-C again to terminate the REPL Process")`
`222`		`- }else {`
	`222`	`+ } else {`
`223`	`223`	`out.println("\nTerminating REPL Process...")`
`224`	`224`	`System.exit(130) // Standard exit code for SIGINT`
`225`	`225`	`}`