Give gdbserver time to gracefully disconnect before terminating it#175

Merged

jreineckearm merged 4 commits intoeclipse-cdt-cloud:mainfrom

thorstendb-ARM:gdbServerKillTimeout

Jul 30, 2025

Commits on Jul 25, 2025

Give gdbserver time to gracefully disconnect before terminating it
thorstendb-ARM
committed
added terminateRequest, renamed config variable
thorstendb-ARM
committed

Commits on Jul 28, 2025

changed timeout, renamed var
thorstendb-ARM
committed

Commits on Jul 30, 2025

changed comment / description
thorstendb-ARM
committed