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.
proper cleanup;
authorwenzelm
Thu, 10 Nov 2016 10:41:41 +0100
changeset 64480 84e1655ad777
parent 64479 9d643c4e9403
child 64481 caf62923039b
proper cleanup;
src/Pure/Admin/isabelle_cronjob.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Admin/isabelle_cronjob.scala	Thu Nov 10 10:35:34 2016 +0100
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Thu Nov 10 10:41:41 2016 +0100
@@ -79,7 +79,7 @@
               hg, rev = "build_history_base", fresh = true, build_args = List("HOL"))
         } {
           result.check
-          File.copy(log_path, logger.log_dir + log_path.base)
+          File.mv(log_path, logger.log_dir + log_path.base)
         }
       })
isabelle