# HG changeset patch
# User wenzelm
# Date 1372014942 -7200
# Node ID 921f22c8890ebcf1872b19af675c905ae3ef921e
# Parent  fce1c133e1f8330e8679652494098df576e3ad45
detach process more reliably -- NB: viewer might be synchronous or asynchronous depending on settings;

diff -r fce1c133e1f8 -r 921f22c8890e src/Pure/System/doc.scala
--- a/src/Pure/System/doc.scala	Sun Jun 23 20:26:31 2013 +0200
+++ b/src/Pure/System/doc.scala	Sun Jun 23 21:15:42 2013 +0200
@@ -60,7 +60,8 @@
       } yield (dir, doc)
     docs match {
       case (dir, doc) :: _ =>
-        Isabelle_System.bash_env(dir.file, null, "\"$ISABELLE_TOOL\" display " + quote(doc) + " &")
+        Isabelle_System.bash_env(dir.file, null,
+          "\"$ISABELLE_TOOL\" display " + quote(doc) + " >/dev/null 2>/dev/null &")
       case Nil => error("Missing Isabelle documentation: " + quote(name))
     }
   }