diff options
| author | Matthew Holt <mholt@users.noreply.github.com> | 2020-06-03 07:31:31 -0600 |
|---|---|---|
| committer | Matthew Holt <mholt@users.noreply.github.com> | 2020-06-03 07:31:31 -0600 |
| commit | 83551edf3e050b5dd094fc1cff20a3f78c4d621f (patch) | |
| tree | 92c2931b876d6f9922b64fb640437b7d8c539955 /.github/workflows | |
| parent | e18c37306448c5604bb50618c19d7e247fb8805f (diff) | |
cmd: Only stop admin server on signal if it exists (fix #3470)
Diffstat (limited to '.github/workflows')
0 files changed, 0 insertions, 0 deletions