Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. merged
  2. merged
  3. more thorough cleanup;
  4. tuned;
  5. removed useless operation -- would require bash_process wrapper;
  6. tuned signature;
  7. simplified SSH.Session: sftp channel is always open and its operations provided by the main interface;
  8. more robust;
  9. sftp.mkdirs according to 2a5dbad75355;
  10. more compression for big log files;
  11. clarified setup_repository: more uniform pull vs. clone, without update;
  12. proper setup of fresh repository;
Changeset 64262:41e027ab985c by wenzelm:
merged
Changeset 64261:fb3bc899fd51 by wenzelm:
merged
Changeset 64260:5389ebfd576d by wenzelm:
more thorough cleanup;
The file was modified src/Pure/Admin/build_history.scala (diff)
Changeset 64259:eb476ea7bbea by wenzelm:
tuned;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 64258:cdb38bb9a3f0 by wenzelm:
removed useless operation -- would require bash_process wrapper;
The file was modified src/Pure/General/ssh.scala (diff)
Changeset 64257:9d51ac055cec by wenzelm:
tuned signature;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
The file was modified src/Pure/Admin/remote_dmg.scala (diff)
The file was modified src/Pure/General/ssh.scala (diff)
Changeset 64256:c3197aeae90b by wenzelm:
simplified SSH.Session: sftp channel is always open and its operations provided by the main interface;
The file was modified src/Pure/Admin/build_history.scala (diff)
The file was modified src/Pure/Admin/remote_dmg.scala (diff)
The file was modified src/Pure/General/mercurial.scala (diff)
The file was modified src/Pure/General/ssh.scala (diff)
Changeset 64255:a9f540881611 by wenzelm:
more robust;
The file was modified src/Pure/General/mercurial.scala (diff)
Changeset 64254:b1aef25ce8df by wenzelm:
sftp.mkdirs according to 2a5dbad75355;
The file was modified src/Pure/General/ssh.scala (diff)
Changeset 64253:a4718dfc9cd4 by wenzelm:
more compression for big log files;
The file was modified src/Pure/Admin/build_history.scala (diff)
Changeset 64252:e84cba30d7ff by wenzelm:
clarified setup_repository: more uniform pull vs. clone, without update;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
The file was modified src/Pure/General/mercurial.scala (diff)
Changeset 64251:528381eb8a7b by wenzelm:
proper setup of fresh repository;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)