src/Pure/System/isabelle_process.scala
changeset 39575 c77b9374f45c
parent 39573 a874ca3f5474
child 39585 00be8711082f
     1.1 --- a/src/Pure/System/isabelle_process.scala	Mon Sep 20 21:54:58 2010 +0200
     1.2 +++ b/src/Pure/System/isabelle_process.scala	Mon Sep 20 23:28:35 2010 +0200
     1.3 @@ -198,7 +198,7 @@
     1.4    def interrupt()
     1.5    {
     1.6      pid match {
     1.7 -      case None => system_result("Cannot interrupt Isabelle: unknowd pid")
     1.8 +      case None => system_result("Cannot interrupt Isabelle: unknown pid")
     1.9        case Some(i) =>
    1.10          try {
    1.11            if (system.execute(true, "kill", "-INT", i).waitFor == 0)