… | |
… | |
237 | * is needed after the players have been updated. |
237 | * is needed after the players have been updated. |
238 | */ |
238 | */ |
239 | static void |
239 | static void |
240 | process_players1 () |
240 | process_players1 () |
241 | { |
241 | { |
242 | int flag; |
|
|
243 | |
|
|
244 | /* Basically, we keep looping until all the players have done their actions. */ |
242 | /* Basically, we keep looping until all the players have done their actions. */ |
245 | for (flag = 1; flag != 0;) |
243 | for (int flag = 1; flag != 0;) |
246 | { |
244 | { |
247 | flag = 0; |
245 | flag = 0; |
248 | for_all_players (pl) |
246 | for_all_players (pl) |
249 | { |
247 | { |
250 | pl->refcnt_chk (); |
248 | pl->refcnt_chk (); |