From ddf62eee56e5addfb744cd62844ffc239b5637d3 Mon Sep 17 00:00:00 2001
From: Pascal Vizeli <pascal.vizeli@syshack.ch>
Date: Tue, 27 Jun 2017 22:51:55 +0200
Subject: [PATCH] Shutdown DB

---
 mariadb/run.sh | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/mariadb/run.sh b/mariadb/run.sh
index efcd1de..d8dee8d 100644
--- a/mariadb/run.sh
+++ b/mariadb/run.sh
@@ -60,4 +60,10 @@ for (( i=0; i < "$RIGHTS"; i++ )); do
     mysql -e "GRANT $GRANT $DATABASE.* TO '$USERNAME'@'$HOST';" 2> /dev/null || true
 done
 
+# Register stop
+function stop_mariadb() {
+    mysqladmin shutdown
+}
+trap "stop_mariadb" SIGTERM SIGHUP
+
 wait "$MARIADB_PID"