diff options
author | Loïc Blot <nerzhul@users.noreply.github.com> | 2017-09-30 12:00:05 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-09-30 12:00:05 +0200 |
commit | be10c0893e2e6d1852a027abccc4cd3cdc85a140 (patch) | |
tree | eabfe8164007c420326f52bfc7e13e9be0f6bfb6 /po/pt | |
parent | f729b5d2bdc65ce3c51f1004c58cb93a37504b49 (diff) | |
download | minetest-be10c0893e2e6d1852a027abccc4cd3cdc85a140.tar.gz minetest-be10c0893e2e6d1852a027abccc4cd3cdc85a140.tar.bz2 minetest-be10c0893e2e6d1852a027abccc4cd3cdc85a140.zip |
Make Player::peer_id server-side only and add getters and setters (#6478)
* Make Player::peer_id server-side only and add getters and setters
Player::peer_id has no sense client side, move it to server, make it private and add setter and getter
Also add some PEER_ID_INEXISTENT instead of harcoded 0
Diffstat (limited to 'po/pt')
0 files changed, 0 insertions, 0 deletions