diff options
| author | Grégoire Détrez <gregoire@mullvad.net> | 2022-09-02 08:06:42 +0200 |
|---|---|---|
| committer | Grégoire Détrez <gregoire@mullvad.net> | 2022-09-02 08:30:42 +0200 |
| commit | 5a4b70db07f0996d53399033c0734915f30548fc (patch) | |
| tree | 61d7bdfffe13aee42ff1728171b7ac4f14ae1d65 /integration/conf/client.config | |
| parent | 0c97ea29fe2834d7834dfeb8cbb3579f45d105e2 (diff) | |
Kill trillian_log_server twicegregoire/update-trillian
Send SIGTERM to trillian_log_server if it hasn't exited in 5 seconds.
This is a workaround for version 1.5.0 not exiting properly.
Diffstat (limited to 'integration/conf/client.config')
0 files changed, 0 insertions, 0 deletions