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.


and update 497 has been done��� this means: we are back in business!

Marcus