Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
avoid odd permissions of fresh tmp_file;
authorwenzelm
Mon, 19 Oct 2015 16:55:52 +0200
changeset 61484 dcc8e1d34b18
parent 61483 07c8d5d8acab
child 61485 0cc8016cc195
avoid odd permissions of fresh tmp_file;
src/Pure/Thy/present.scala file | annotate | diff | comparison | revisions 
--- 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)
isabelle