widelands-dev team mailing list archive
-
widelands-dev team
-
Mailing list archive
-
Message #10733
[Merge] lp:~widelands-dev/widelands/bug-1705771 into lp:widelands
TiborB has proposed merging lp:~widelands-dev/widelands/bug-1705771 into lp:widelands.
Requested reviews:
Widelands Developers (widelands-dev)
For more details, see:
https://code.launchpad.net/~widelands-dev/widelands/bug-1705771/+merge/328122
Fixing crash caused by AI. Bug found by Kaputtnik
--
Your team Widelands Developers is requested to review the proposed merge of lp:~widelands-dev/widelands/bug-1705771 into lp:widelands.
=== modified file 'src/ai/defaultai.cc'
--- src/ai/defaultai.cc 2017-06-28 08:50:42 +0000
+++ src/ai/defaultai.cc 2017-07-26 20:15:04 +0000
@@ -1607,7 +1607,7 @@
field.inland = true;
}
- const uint8_t score_parts_size = 55;
+ const uint8_t score_parts_size = 60;
int32_t score_parts[score_parts_size] = {0};
if (field.enemy_owned_land_nearby) {
score_parts[0] = 3 *
Follow ups
-
Re: [Merge] lp:~widelands-dev/widelands/bug-1705771 into lp:widelands
From: kaputtnik, 2017-07-28
-
[Merge] lp:~widelands-dev/widelands/bug-1705771 into lp:widelands
From: noreply, 2017-07-28
-
Re: [Merge] lp:~widelands-dev/widelands/bug-1705771 into lp:widelands
From: SirVer, 2017-07-28
-
Re: [Merge] lp:~widelands-dev/widelands/bug-1705771 into lp:widelands
From: SirVer, 2017-07-28
-
Re: [Merge] lp:~widelands-dev/widelands/bug-1705771 into lp:widelands
From: TiborB, 2017-07-28
-
Re: [Merge] lp:~widelands-dev/widelands/bug-1705771 into lp:widelands
From: kaputtnik, 2017-07-28
-
Re: [Merge] lp:~widelands-dev/widelands/bug-1705771 into lp:widelands
From: TiborB, 2017-07-28
-
Re: [Merge] lp:~widelands-dev/widelands/bug-1705771 into lp:widelands
From: TiborB, 2017-07-27
-
Re: [Merge] lp:~widelands-dev/widelands/bug-1705771 into lp:widelands
From: GunChleoc, 2017-07-27
-
Re: [Merge] lp:~widelands-dev/widelands/bug-1705771 into lp:widelands
From: SirVer, 2017-07-27
-
Re: [Merge] lp:~widelands-dev/widelands/bug-1705771 into lp:widelands
From: TiborB, 2017-07-27
-
Re: [Merge] lp:~widelands-dev/widelands/bug-1705771 into lp:widelands
From: kaputtnik, 2017-07-27