On 23 Feb 2015, at 15:27, Marcus Denker <marcus.denker@inria.fr> wrote:On 23 Feb 2015, at 15:17, Marcus Denker <marcus.denker@inria.fr> wrote:So I restarted the slaves, but now the Jenkins is down:I already restarted it once, it does not start up again.It seems to work now.