Florian Friemel 100008b139 [CORDA-1634] Destroy child processes when parent exits. (#3368) ... * [CORDA-1634] Destroy child processes when parent exits. * Add comment. * Register Shutdownhook for processes regardless of whether the Driver was initialized with * Add comment. * Revert "Add comment." This reverts commit a5e78c379f. * Add comment. * Add shutdown hook in ShutdownManager.registerProcessShutdown. * Initialize the ShutdownManager with a shutdown hook to ensure that is called. * Add comment.		2018-06-18 17:39:46 +01:00
..
src	[CORDA-1634] Destroy child processes when parent exits. (#3368)	2018-06-18 17:39:46 +01:00
build.gradle	CORDA-716 Configure api scanner for test modules (#2259)	2018-01-04 10:09:04 +00:00