From: Hannu Niemistö 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?p=simantics%2Fplatform.git;a=commitdiff_plain;h=64be7691aa27c056cf27d4da811ed57027235c63;hp=64be7691aa27c056cf27d4da811ed57027235c63 Merge "Use Runtime.halt instead of System.exit in delayed shutdown" ---