diff options
author | Jon Marius Venstad <venstad@gmail.com> | 2020-05-04 14:56:11 +0200 |
---|---|---|
committer | Jon Marius Venstad <venstad@gmail.com> | 2020-05-04 14:56:11 +0200 |
commit | a5147179df7d3811c3cfe408f97672c516008302 (patch) | |
tree | 7724c075a7012a9b113e3b6fcc47bd47f3b6fc4b /fnet | |
parent | 0f27bc47f877b297e4f5acc9faf815fa06016009 (diff) |
Use shutdownNow if shutdown is not enough, after 10 seconds
Diffstat (limited to 'fnet')
0 files changed, 0 insertions, 0 deletions