diff options
| author | Davide Beatrici <git@davidebeatrici.dev> | 2020-04-13 02:17:05 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-04-13 02:17:05 +0300 |
| commit | cf3885170e8eb0c0a56f487e80aac197b1366793 (patch) | |
| tree | 2abe5adb411d8c32d210be4008083936fa8fbf10 /.travis.yml | |
| parent | 12775db8ce0b77bcd698b3b006c8369486c8eac1 (diff) | |
| parent | 68453fa6d657ff53d6f5f8c2c5a7b23a40f76562 (diff) | |
Merge PR #65: Tell servers to Stop when shutting down.
Diffstat (limited to '.travis.yml')
0 files changed, 0 insertions, 0 deletions