| commit | fceffb19f10250d766799036c76a170b44df3846 | [log] [tgz] |
|---|---|---|
| author | Daniel Weber <danielcweber@users.noreply.github.com> | Fri Aug 23 00:13:26 2024 +0200 |
| committer | GitHub <noreply@github.com> | Thu Aug 22 15:13:26 2024 -0700 |
| tree | 928639ed1292a386eec2935edb35f04c0dc5a5f6 | |
| parent | ea13a735d11d51a409e870a5b194fdb5d2be98b3 [diff] |
Regression: Graceful shutdowns for GremlinServer (#2712) * Prefix calls to gremlin-server.sh and java with exec. This will forward the signals. CAUTION: It works for my use case but I don't know what this may break.