diff options
| author | Mattias Andrée <maandree@operamail.com> | 2015-04-07 02:25:12 +0200 |
|---|---|---|
| committer | Mattias Andrée <maandree@operamail.com> | 2015-04-07 02:25:12 +0200 |
| commit | 1dca817a2dc7513cce8b91a82dbac8e721534fcd (patch) | |
| tree | 29a658b4414d2844e2ea630c5bb09603f2df0683 | |
| parent | typo (diff) | |
| download | mds-1dca817a2dc7513cce8b91a82dbac8e721534fcd.tar.gz mds-1dca817a2dc7513cce8b91a82dbac8e721534fcd.tar.bz2 mds-1dca817a2dc7513cce8b91a82dbac8e721534fcd.tar.xz | |
info: why we do not use SIGRTMIN
Signed-off-by: Mattias Andrée <maandree@operamail.com>
Diffstat (limited to '')
| -rw-r--r-- | doc/info/mds.texinfo | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/doc/info/mds.texinfo b/doc/info/mds.texinfo index 50f1c85..4a810fc 100644 --- a/doc/info/mds.texinfo +++ b/doc/info/mds.texinfo @@ -388,8 +388,12 @@ instead of @command{SIGUSR1}. If you need servers to free up allocated memory that they do not use, send the signal @command{SIGDANGER}, or if not defined -@command{SIGRTMIN + 1}. Unimportant servers may -choose to die on @command{SIGDANGER}. +@command{SIGRTMIN + 1}@footnote{@command{valgrind} +uses @command{SIGRTMIN} for internal stuff, so +we cannot use @command{SIGRTMIN} as it is hence +unavailable when running under @command{valgrind}}. +Unimportant servers may choose to die on +@command{SIGDANGER}. |