diff options
| author | natrixaeria <janng@gmx.de> | 2019-05-20 20:04:35 +0200 |
|---|---|---|
| committer | natrixaeria <janng@gmx.de> | 2019-05-20 20:04:35 +0200 |
| commit | 368b018f567a804cf02e3fea4246a5c082f8c616 (patch) | |
| tree | 69d878c0dfc3518dc919bab1876dd7cd5fc3f7bf /game_server/src/main.rs | |
| parent | c7bc91ecd6c32afab52c5e45b569e3945bdd1056 (diff) | |
Remove users from server, if not reachable
Diffstat (limited to 'game_server/src/main.rs')
0 files changed, 0 insertions, 0 deletions