# HG changeset patch
# User wenzelm
# Date 1445266552 -7200
# Node ID dcc8e1d34b189955e757b3b1f710eb88a0166e43
# Parent  07c8d5d8acab4d348e656633a54bffcf1de1ce3f
avoid odd permissions of fresh tmp_file;

diff -r 07c8d5d8acab -r dcc8e1d34b18 src/Pure/Thy/present.scala
--- a/src/Pure/Thy/present.scala	Mon Oct 19 16:37:45 2015 +0200
+++ b/src/Pure/Thy/present.scala	Mon Oct 19 16:55:52 2015 +0200
@@ -103,7 +103,7 @@
 
     if (info.options.bool("browser_info")) {
       Isabelle_System.mkdirs(session_prefix)
-      File.copy(graph_file, (session_prefix + Path.basic("session_graph.pdf")).file)
+      File.write(session_prefix + Path.basic("session_graph.pdf"), File.read(graph_file))
       File.copy(Path.explode("~~/etc/isabelle.css"), session_prefix)
       File.copy(Path.explode("~~/lib/fonts/IsabelleText.ttf"), session_prefix)
       File.copy(Path.explode("~~/lib/fonts/IsabelleTextBold.ttf"), session_prefix)