diff options
| -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}. |