tree d7c19237b12a119ef095982aed8b09f59ab347b8
parent cadb5bbe3c332ee460e9a0f60e563cb1cf01d48d
author Hanno Becker <hanno.becker@arm.com> 1496090266 +0100
committer Hanno Becker <hanno.becker@arm.com> 1507647872 +0100

ssl-opt.sh: Kill server via KILL signal if TERM doesn't succeed