id,summary,reporter,owner,description,type,status,priority,milestone,component,resolution,keywords,cc,phab_field
3418,TypeError: army is undefined,silure,,"Hello,

Getting this error on some maps, this also cause a huge slowdown past some time (r17021).

{{{
ERROR: JavaScript error: simulation/ai/petra/defenseManager.js line 401
TypeError: army is undefined
  m.DefenseManager.prototype.checkEvents@simulation/ai/petra/defenseManager.js:401:1
  m.DefenseManager.prototype.update@simulation/ai/petra/defenseManager.js:18:2
  m.HQ.prototype.update@simulation/ai/petra/headquarters.js:2039:2
  m.PetraBot.prototype.OnUpdate@simulation/ai/petra/_petrabot.js:123:3
  m.BaseAI.prototype.HandleMessage@simulation/ai/common-api/baseAI.js:81:2
}}}
",defect,new,Must Have,Alpha 19,AI,,"army, undefined",,