| changeset 65654 | 0fbaa9286331 |
| parent 65653 | f433c0e73307 |
| child 65655 | 1b84d4109215 |
| 65653:f433c0e73307 | 65654:0fbaa9286331 |
|---|---|
73 } |
73 } |
74 } |
74 } |
75 } |
75 } |
76 } |
76 } |
77 |
77 |
78 def build_job_builds(job_name: String): List[Job_Info] = |
78 def build_job_infos(job_name: String): List[Job_Info] = |
79 { |
79 { |
80 val Session_Log = new Regex("""^.*/log/([^/]+)\.(db|gz)$""") |
80 val Session_Log = new Regex("""^.*/log/([^/]+)\.(db|gz)$""") |
81 |
81 |
82 for { |
82 for { |
83 build <- |
83 build <- |