From 5f77bab819c5d95255ea40a44ba6714171bbae5a Mon Sep 17 00:00:00 2001
From: Sergey Vojtovich <svoj@mariadb.org>
Date: Mon, 2 Nov 2015 19:35:39 +0400
Subject: MDEV-8956 - systemd loses MariaDB service if it restarts too quickly

Added delay to workaround this problem.
---
 support-files/mariadb.service.in | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/support-files/mariadb.service.in b/support-files/mariadb.service.in
index 0b4e8f6befe..12f77524f81 100644
--- a/support-files/mariadb.service.in
+++ b/support-files/mariadb.service.in
@@ -56,6 +56,11 @@ PermissionsStartOnly=true
 ExecStart=/usr/sbin/mysqld $MYSQLD_OPTS
 @SYSTEMD_EXECSTARTPOST@
 
+#
+# Rather ugly workaround for
+# MDEV-8956 - systemd loses MariaDB service if it restarts too quickly
+ExecStopPost=/bin/sleep 3
+
 KillMode=process
 KillSignal=SIGTERM
 
-- 
cgit v1.2.1