Julian Oes b108adc5f1 Tools: retry gz model if gzserver is not ready yet
This should prevent the race between gzserver and gz model and fix the
integration tests which sometimes timeout because the model is not
spawned correctly.

This patch also changes the shebang to what's generally recommended.
2020-07-28 11:51:51 +02:00
..
2019-07-16 08:09:22 +02:00