exceptions: assign result = null properly;
authorwenzelm
Wed Jan 23 22:57:11 2008 +0100 (2008-01-23)
changeset 25948aa65ada6f095
parent 25947 1f2f4d941e9e
child 25949 850b4c2d0f17
exceptions: assign result = null properly;
lib/jedit/plugin/isabelle/IsabellePlugin.scala
     1.1 --- a/lib/jedit/plugin/isabelle/IsabellePlugin.scala	Wed Jan 23 22:57:09 2008 +0100
     1.2 +++ b/lib/jedit/plugin/isabelle/IsabellePlugin.scala	Wed Jan 23 22:57:11 2008 +0100
     1.3 @@ -110,8 +110,8 @@
     1.4            try {
     1.5              result = IsabellePlugin.isabelle.results.take.asInstanceOf[IsabelleProcess.Result]
     1.6            } catch {
     1.7 -            case _: NullPointerException => null
     1.8 -            case _: InterruptedException => null
     1.9 +            case _: NullPointerException => result = null
    1.10 +            case _: InterruptedException => result = null
    1.11            }
    1.12            if (result != null) {
    1.13              System.err.println(result)   // FIXME