# HG changeset patch
# User wenzelm
# Date 1493588468 -7200
# Node ID 2b78b7edf0722d323f4c28273801619d3525f89f
# Parent  48ef286b847bb4d4b299e5cfd0803ecfaae27b1f
retrieve more than just 100 builds;

diff -r 48ef286b847b -r 2b78b7edf072 src/Pure/Admin/jenkins.scala
--- a/src/Pure/Admin/jenkins.scala	Sun Apr 30 23:11:51 2017 +0200
+++ b/src/Pure/Admin/jenkins.scala	Sun Apr 30 23:41:08 2017 +0200
@@ -55,9 +55,10 @@
     val Log_Session = new Regex("""^.*/log/([^/]+)\.gz$""")
 
     for {
-      build <- JSON.array(
-          invoke(root() + "/job/" + job_name, "tree=builds[number,timestamp,artifacts[*]]"), "builds")
-        .getOrElse(Nil)
+      build <-
+        JSON.array(
+          invoke(root() + "/job/" + job_name, "tree=allBuilds[number,timestamp,artifacts[*]]"),
+          "allBuilds").getOrElse(Nil)
       number <- JSON.int(build, "number")
       timestamp <- JSON.long(build, "timestamp")
     } yield {