How are Jenkins builds killed exactly?

[Stephan Bergmann]

On 29/12/2019 15:17, Stephan Bergmann wrote:
>> [linux_clang_dbgutil_64] $ /bin/sh -xe /tmp/jenkins3389683698813990355.sh
>> + /home/tdf/lode/bin/tb_slave_wrapper --real --mode=config --clean

...where those /tmp/jenkins*.sh contain

> 
> ${LODE_HOME}/bin/tb_slave_wrapper --real --mode=config --clean

(i.e., apparently what is specified at "Build - Execute shell - Command" 
at 
<https://ci.libreoffice.org/job/gerrit_linux_clang_dbgutil/configure>), 
and the parent of that `/bin/sh -xe /tmp/jenkins3389683698813990355.sh` 
is some `java -jar remoting.jar ...`, i.e., apparently a Jenkins slave 
process.