Darien Raymond 35762b7b28 change to sigterm		2018-07-27 12:31:22 +02:00
..
coverage	fix coverall script	2018-07-03 21:48:35 +02:00
scenarios	change to sigterm	2018-07-27 12:31:22 +02:00
servers	close pipe when finish	2018-07-02 15:40:32 +02:00