pehladik a87b0ffc69 keep supervisor alive if robot is killed		2020-03-30 15:37:42 +02:00
..
superviseur-robot	keep supervisor alive if robot is killed	2020-03-30 15:37:42 +02:00