Dev/update map parts

Added service to reset occupation of a given map area.

Also merge in homer_map_manager!16 (merged) (interfaces.py) and homer_mapnav_msgs!3 (merged) (ClearMapArea.srv) with this merge request here.

requested review from @lukasthinnes

assigned to @muellerd

added 1 commit

• a9b68f44 - minor code optimizations

Compare with previous version

added 1 commit

• 06da2535 - Added code to clear specific map area from being blocked instead of only a...

Compare with previous version

added 1 commit

• 127f51fc - Added srv to ClearMapArea

Compare with previous version

changed the description

added 1 commit

• 118e5f45 - Send map update after having altered underlying data structure

Compare with previous version

added 1 commit

• b0700e77 - Set cleared area to NOT_SEEN_YET instead of FREE

Compare with previous version

clear_map_area-2023-08-21_16.51.38

@lukasthinnes I think this should solve your problems if you provide the door's location in map and a rough estimate of its dimensions.

marked this merge request as ready

merged

mentioned in commit 6b71e1fa