From: Hannu Niemistö <hannu.niemisto@semantum.fi>
Date: Thu, 19 Jul 2018 11:18:29 +0000 (+0000)
Subject: Merge "Use Runtime.halt instead of System.exit in delayed shutdown"
X-Git-Tag: v1.43.0~136^2~441
X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=commitdiff_plain;h=64be7691aa27c056cf27d4da811ed57027235c63;p=simantics%2Fplatform.git

Merge "Use Runtime.halt instead of System.exit in delayed shutdown"
---

64be7691aa27c056cf27d4da811ed57027235c63