Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. maintain build_log database;
  2. exclude special log files;
  3. tuned;
  4. tuned;
  5. ssh_close for proper termination after use of database;
  6. some documentation;
Changeset 65640:7a26c337e016 by wenzelm:
maintain build_log database;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 65639:4c14da234221 by wenzelm:
exclude special log files;
The file was modified src/Pure/Admin/build_log.scala (diff)
Changeset 65638:f86798cbe0c2 by wenzelm:
tuned;
The file was modified src/Pure/System/invoke_scala.scala (diff)
Changeset 65637:e9b87bf6578b by wenzelm:
tuned;
The file was modified src/Pure/PIDE/rendering.scala (diff)
Changeset 65636:df804cdba5f9 by wenzelm:
ssh_close for proper termination after use of database;
The file was modified src/Pure/Admin/build_log.scala (diff)
The file was modified src/Pure/General/sql.scala (diff)
The file was modified src/Pure/General/ssh.scala (diff)
Changeset 65635:0a025b8496a2 by wenzelm:
some documentation;
The file was addedAdmin/build_log/README