diff options
Diffstat (limited to 'debian')
-rw-r--r-- | debian/mariadb-server-10.2.preinst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/mariadb-server-10.2.preinst b/debian/mariadb-server-10.2.preinst index ed987507d18..161d9caee6e 100644 --- a/debian/mariadb-server-10.2.preinst +++ b/debian/mariadb-server-10.2.preinst @@ -25,7 +25,7 @@ stop_server() { # Return immediately if there are no mysql processes running # as there is no point in trying to shutdown in that case. - if ! pgrep mysqld > /dev/null; then return; fi + if ! pgrep --ns $$ mysqld > /dev/null; then return; fi set +e if [ -x /usr/sbin/invoke-rc.d ]; then |