avoid hardwired parameters;
authorwenzelm
Fri Mar 02 11:52:27 2018 +0100 (23 months ago)
changeset 677437bd0a250183b
parent 67739 e512938b853c
child 67744 5c781dcd5864
avoid hardwired parameters;
less ambitious defaults: low memory requirements;
etc/options
src/Pure/Admin/build_log.scala
     1.1 --- a/etc/options	Thu Mar 01 20:44:38 2018 +0100
     1.2 +++ b/etc/options	Fri Mar 02 11:52:27 2018 +0100
     1.3 @@ -256,3 +256,4 @@
     1.4  option build_log_ssh_user : string = ""
     1.5  option build_log_ssh_port : int = 0
     1.6  option build_log_history : int = 30  -- "length of relevant history (in days)"
     1.7 +option build_log_transaction_size : int = 1  -- "number of log files for each db update"
     2.1 --- a/src/Pure/Admin/build_log.scala	Thu Mar 01 20:44:38 2018 +0100
     2.2 +++ b/src/Pure/Admin/build_log.scala	Fri Mar 02 11:52:27 2018 +0100
     2.3 @@ -1101,7 +1101,10 @@
     2.4              }
     2.5            })
     2.6  
     2.7 -      for (file_group <- files.filter(file => status.exists(_.required(file))).grouped(100)) {
     2.8 +      for (file_group <-
     2.9 +            files.filter(file => status.exists(_.required(file))).
    2.10 +              grouped(options.int("build_log_transaction_size") max 1))
    2.11 +      {
    2.12          val log_files = Par_List.map[JFile, Log_File](Log_File.apply _, file_group)
    2.13          db.transaction { log_files.foreach(log_file => status.foreach(_.update(log_file))) }
    2.14        }