diff options
| author | Keuin <[email protected]> | 2022-09-08 00:43:12 +0800 |
|---|---|---|
| committer | Keuin <[email protected]> | 2022-09-08 00:43:12 +0800 |
| commit | b473c12438438a4709708d5d4ecd403d81f11e03 (patch) | |
| tree | 01f49b3176098edaf49b60769ae69a6194b331ca /.github | |
| parent | a720c2c16b442b668db465fbbc70740cfc7ddee4 (diff) | |
Bugfix: process won't quit when sending Ctrl-C.
Print runtime information to logs in main() function.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions