prefer sys.exit from scala 2.9;
authorwenzelm
Thu Jul 05 16:03:09 2012 +0200 (2012-07-05)
changeset 4819207a32140ce0d
parent 48191 c1def7433a72
child 48193 cab79d456044
prefer sys.exit from scala 2.9;
src/Pure/System/gui_setup.scala
src/Pure/System/main.scala
     1.1 --- a/src/Pure/System/gui_setup.scala	Thu Jul 05 15:40:57 2012 +0200
     1.2 +++ b/src/Pure/System/gui_setup.scala	Thu Jul 05 16:03:09 2012 +0200
     1.3 @@ -62,7 +62,7 @@
     1.4      // reactions
     1.5      listenTo(ok)
     1.6      reactions += {
     1.7 -      case ButtonClicked(`ok`) => System.exit(0)
     1.8 +      case ButtonClicked(`ok`) => sys.exit(0)
     1.9      }
    1.10    }
    1.11  }
     2.1 --- a/src/Pure/System/main.scala	Thu Jul 05 15:40:57 2012 +0200
     2.2 +++ b/src/Pure/System/main.scala	Thu Jul 05 16:03:09 2012 +0200
     2.3 @@ -25,7 +25,7 @@
     2.4        Library.dialog(null, "Isabelle", "Isabelle output",
     2.5          Library.scrollable_text(out + "\nReturn code: " + rc))
     2.6  
     2.7 -    System.exit(rc)
     2.8 +    sys.exit(rc)
     2.9    }
    2.10  }
    2.11