diff options
| author | Fabio Alessandrelli <fabio.alessandrelli@gmail.com> | 2020-01-14 17:33:49 +0100 |
|---|---|---|
| committer | Fabio Alessandrelli <fabio.alessandrelli@gmail.com> | 2020-01-14 17:33:49 +0100 |
| commit | 417c54b871623297199bf1836dca3d8256dac12c (patch) | |
| tree | 445f7fae7000930fc21b5c9c969b2178cd9c4caf /platform/server | |
| parent | 1bafd2d2c8824570310e63686cfad42a879452a6 (diff) | |
Remove unused ip_unix member from OSX/server.
Diffstat (limited to 'platform/server')
| -rw-r--r-- | platform/server/os_server.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/platform/server/os_server.h b/platform/server/os_server.h index 0aca8049f2..46ca9cb6d1 100644 --- a/platform/server/os_server.h +++ b/platform/server/os_server.h @@ -58,7 +58,6 @@ class OS_Server : public OS_Unix { bool grab; virtual void delete_main_loop(); - IP_Unix *ip_unix; bool force_quit; |