# HG changeset patch
# User wenzelm
# Date 1285012498 -7200
# Node ID 91b23d141dbfcf791f914203f6c378b997e2fc83
# Parent  a874ca3f5474ee4d72524683db1930079d824329
more robust Isabelle_System.rm_fifo: avoid external bash invocation, which might not work in JVM shutdown phase (due to Runtime.addShutdownHook);

diff -r a874ca3f5474 -r 91b23d141dbf src/Pure/System/isabelle_system.scala
--- a/src/Pure/System/isabelle_system.scala	Mon Sep 20 21:26:58 2010 +0200
+++ b/src/Pure/System/isabelle_system.scala	Mon Sep 20 21:54:58 2010 +0200
@@ -292,10 +292,8 @@
     else error(result)
   }
 
-  def rm_fifo(fifo: String)
-  {
-    bash_output("rm -f '" + fifo + "'")
-  }
+  def rm_fifo(fifo: String): Boolean =
+    (new File(jvm_path(if (Platform.is_windows) fifo + ".lnk" else fifo))).delete
 
   def fifo_input_stream(fifo: String): InputStream =
   {