diff options
Diffstat (limited to 'games-strategy/widelands/files/widelands-0.19-fix_maybe_uninitialized.patch')
| -rw-r--r-- | games-strategy/widelands/files/widelands-0.19-fix_maybe_uninitialized.patch | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/games-strategy/widelands/files/widelands-0.19-fix_maybe_uninitialized.patch b/games-strategy/widelands/files/widelands-0.19-fix_maybe_uninitialized.patch deleted file mode 100644 index 8080b94..0000000 --- a/games-strategy/widelands/files/widelands-0.19-fix_maybe_uninitialized.patch +++ /dev/null @@ -1,21 +0,0 @@ ---- a/src/network/netclient.cc 2017-09-07 17:03:04.532134374 +0200 -+++ b/src/network/netclient.cc 2017-09-07 17:10:54.603125955 +0200 -@@ -477,6 +477,8 @@ - // This might happen, if a users connects after the game starts. - if (number == d->settings.users.size()) { - UserSettings newuser; -+ newuser.position = number; -+ newuser.ready = false; - d->settings.users.push_back(newuser); - } - ---- a/src/network/nethost.cc 2017-09-07 17:11:58.924124804 +0200 -+++ b/src/network/nethost.cc 2017-09-07 17:13:37.339123041 +0200 -@@ -1612,6 +1612,7 @@ - if (client.usernum == -1) { - client.usernum = d->settings.users.size(); - UserSettings newuser; -+ newuser.position = client.usernum; - newuser.result = Widelands::PlayerEndResult::UNDEFINED; - newuser.ready = true; - d->settings.users.push_back(newuser); |