diff options
| -rw-r--r-- | support-files/mariadb.service.in | 5 |
1 files changed, 5 insertions, 0 deletions
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 |