# HG changeset patch
# User wenzelm
# Date 1201125431 -3600
# Node ID aa65ada6f0952f539a173c8fb35e32d4a67d5ccb
# Parent  1f2f4d941e9eae7b6d9e783cc90a28038c7fb96b
exceptions: assign result = null properly;

diff -r 1f2f4d941e9e -r aa65ada6f095 lib/jedit/plugin/isabelle/IsabellePlugin.scala
--- a/lib/jedit/plugin/isabelle/IsabellePlugin.scala	Wed Jan 23 22:57:09 2008 +0100
+++ b/lib/jedit/plugin/isabelle/IsabellePlugin.scala	Wed Jan 23 22:57:11 2008 +0100
@@ -110,8 +110,8 @@
           try {
             result = IsabellePlugin.isabelle.results.take.asInstanceOf[IsabelleProcess.Result]
           } catch {
-            case _: NullPointerException => null
-            case _: InterruptedException => null
+            case _: NullPointerException => result = null
+            case _: InterruptedException => result = null
           }
           if (result != null) {
             System.err.println(result)   // FIXME