diff options
author | Holger Levsen <holger@layer-acht.org> | 2015-09-07 15:23:10 +0200 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2015-09-07 15:23:10 +0200 |
commit | 39d6d3487e6548367473eafacaf3709b224f4494 (patch) | |
tree | f7861bb830e5fde02fdf31cfe4424753dead11e0 | |
parent | 72a5d25312f35081688a3587ff40fe5b81ba8d76 (diff) | |
download | jenkins.debian.net-39d6d3487e6548367473eafacaf3709b224f4494.tar.xz |
what mapreri said: handle_unhandled() needs to unregister the build from the db too
-rw-r--r-- | TODO | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -170,6 +170,7 @@ properties: === reproducible * higher prio: +** _build.sh: handle_unhandled() needs to unregister the build from the db too ** use disorderfs (atm its disabled) *** current scripts are only in hosts/jenkins/ but need to be copied to hosts/*/ *** document usage in diff table... |