be more rigid & forceful: in case of a timeout, we now kill processes using SIGKILL instead of SIGTERM; maybe, this helps to indeed stop / kill (hanging?) multi-threaded Mserver (test MonetDB4/tests/BugsViaSourgeforce/Tests/ID.914155.milS)
be more rigid & forceful:
in case of a timeout, we now kill processes using SIGKILL instead of SIGTERM;
maybe, this helps to indeed stop / kill (hanging?) multi-threaded Mserver
(test MonetDB4/tests/BugsViaSourgeforce/Tests/ID.914155.milS)

zyzyis/monetdb,zyzyis/monetdb,zyzyis/monetdb,zyzyis/monetdb,zyzyis/monetdb,zyzyis/monetdb,zyzyis/monetdb,zyzyis/monetdb,zyzyis/monetdb,zyzyis/monetdb