From: jsimomaa <jani.simomaa@gmail.com>
Date: Mon, 26 Nov 2018 20:15:33 +0000 (+0200)
Subject: Move shutdown of worker pools to SimanticsPlatform.shutdown()
X-Git-Tag: v1.43.0~136^2~251
X-Git-Url: https://gerrit.simantics.org/r/gitweb?p=simantics%2Fplatform.git;a=commitdiff_plain;h=502db54a267e8583aef1f57120ddc9ac162fbba9;hp=502db54a267e8583aef1f57120ddc9ac162fbba9

Move shutdown of worker pools to SimanticsPlatform.shutdown()

Closing of public worker pools should be done before we are closing our
db-connection. The platform-shutdown routine has already started and
therefore it should not be meaningful to execute any more work for a
closing platform

gitlab #212

Change-Id: I9fb8fb0970d649f7b53282be0627bf5387c9dde9
---