Re: Getting SIGKILL to work in MariaDB

Philippe Waroquiers <[email protected]> Sat, 31 Aug 2019 15:21:26 +0200

Newsgroups	gmane.comp.debugging.valgrind
Message-ID	<[email protected]>

On Wed, 2019-08-21 at 14:44 +0200, Philippe Waroquiers wrote:
> On Mon, 2019-08-12 at 15:15 +0300, Michael Widenius wrote:
> > Something like the following would be very useful:
> > VALGRIND_IGNORE_LEAKS(VALGRIND_LEAK_INDIRECT | VALGRIND_LEAK_DEFINITE...)
> See patch attached to https://bugs.kde.org/show_bug.cgi?id=411134
> This patch allows to change various command line options after
> startup, including the options telling if/how to do a leak search.
Patch pushed today to the Valgrind git repository as 3a803036.

Philippe