Johan Wikman 2da7a93473 Destroy workers after services
The workers need to be destroyed only after services have been
to ensure that they are around in case the destruction of services
involves the closing of dcbs.
2017-09-04 16:01:42 +03:00
..
2017-09-04 16:01:42 +03:00
2017-01-16 10:56:33 +02:00