From 477243a38e19826bfc4341c76cc809871b9c8bbd Mon Sep 17 00:00:00 2001 From: Ingo Oppermann Date: Thu, 21 Sep 2023 14:01:17 +0200 Subject: [PATCH] Fix clean shutdown with docker kill By using "docker kill" to stop the core it will bluntly stop the core. A graceful shutdown will be be performed because it sends SIGKILL which cannot be trapped. The "docker kill --signal SIGINT" command should be used instead, but this requires that the core is root process in the image. The run.sh shell script process has to be replaced by the core process, otherwise the SIGINT will not reach the core. --- run.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/run.sh b/run.sh index 9dce22ee..b900d3c0 100755 --- a/run.sh +++ b/run.sh @@ -19,4 +19,4 @@ fi # Now run the core with the possibly converted configuration. -./bin/core +exec ./bin/core \ No newline at end of file