diff options
| author | Michael Muré <batolettre@gmail.com> | 2023-03-04 15:23:29 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-03-04 15:23:29 +0100 |
| commit | c038e5d44c05ec6e186b305bb89f57463da64532 (patch) | |
| tree | 0de49f0e36d4fc154338b1e7e21a7eca6c5f5f87 /commands/execenv | |
| parent | 852380f2212a41342cb5440d13cf723ae50b61ea (diff) | |
| parent | 42aea2cd59e57d70d535227729ea9d0fa68695f7 (diff) | |
| download | git-bug-c038e5d44c05ec6e186b305bb89f57463da64532.tar.gz | |
Merge pull request #1030 from MichaelMure/webui-sigterm
webui: also teardown cleanly on SIGTERM
Diffstat (limited to 'commands/execenv')
0 files changed, 0 insertions, 0 deletions