[PATCH] tester/gdb: allow kill on the test end

[Chris Johns]

Ok and thanks

Chris

On 19/4/2022 10:29 pm, Karel Gardas wrote:
> Sponsored-By:	Precidata
> ---
>  tester/rt/config.py | 1 +
>  1 file changed, 1 insertion(+)
> 
> diff --git a/tester/rt/config.py b/tester/rt/config.py
> index a7b9ee3..8a433af 100644
> --- a/tester/rt/config.py
> +++ b/tester/rt/config.py
> @@ -258,6 +258,7 @@ class file(config.file):
>          script = self.expand('%%{%s}' % data[2])
>          if script:
>              script = [l.strip() for l in script.splitlines()]
> +        self.kill_on_end = True
>          if not self.in_error:
>              if self.console:
>                  self.console.open()