# HG changeset patch
# User wenzelm
# Date 1219944891 -7200
# Node ID 6b243f66f688fb0f65569896ef6b55f3b3443691
# Parent  05d9a05f9d15f43acda02263425d5ecf74a5cbba
rm fifo after open;

diff -r 05d9a05f9d15 -r 6b243f66f688 src/Pure/Tools/isabelle_process.ML
--- a/src/Pure/Tools/isabelle_process.ML	Thu Aug 28 19:31:55 2008 +0200
+++ b/src/Pure/Tools/isabelle_process.ML	Thu Aug 28 19:34:51 2008 +0200
@@ -103,7 +103,7 @@
     if out = "" orelse out = "-" then TextIO.stdOut
     else
       let val path = File.platform_path (Path.explode out)
-      in TextIO.openOut path (* before OS.FileSys.remove path *) end;
+      in TextIO.openOut path before OS.FileSys.remove path end;
   in
     Output.writeln_fn  := message out_stream "A" Markup.writelnN;
     Output.priority_fn := message out_stream "B" Markup.priorityN;