Julian Oes 26021b01cb Tools: abort SITL start if gzserver fails
Sometimes gzserver seems to not start or not start fast enough. In this
case, instead of stalling forever, it would be nice to abort.
2020-07-23 07:42:09 +02:00
..
2019-07-16 08:09:22 +02:00