# HG changeset patch
# User wenzelm
# Date 1219675931 -7200
# Node ID 131f7ea9e6e6276bbc562c1bbfc7914758a47124
# Parent  8e83800a35c8b19455d88228ce7df49f2e9448eb
added try_result;

diff -r 8e83800a35c8 -r 131f7ea9e6e6 src/Pure/Tools/isabelle_process.scala
--- a/src/Pure/Tools/isabelle_process.scala	Sun Aug 24 21:15:48 2008 +0200
+++ b/src/Pure/Tools/isabelle_process.scala	Mon Aug 25 16:52:11 2008 +0200
@@ -111,6 +111,11 @@
 
   def get_result() = results.take
 
+  def try_result() = {
+    val res = results.poll
+    if (res != null) Some(res) else None
+  }
+
 
   /* signals */