Re: [Maria-discuss] MariaDB shutdowns silently