802
802
static_cast<Interactive_Player * const>(get_parent())->egbase().map();
803
803
Overlay_Manager & overlay_manager = map.overlay_manager();
804
804
if (m_workarea_job_id.isNull()) {
806
805
m_workarea_job_id = overlay_manager.get_a_job_id();
807
808
const Workarea_Info & workarea_info =
808
809
m_building->descr().m_recursive_workarea_info;
811
810
Workarea_Info::const_iterator it = workarea_info.begin();
813
812
(Workarea_Info::size_type i =