TL;DR
Create a new event that triggers when a construction robot repairs an entity, similar to the on_player_repaired_entity event.What ?
Add a robot equivalent to the on_player_repaired_entity event, and associated event filters to the Lua API. Also, add an additional field to the RepairedEntityEventFilters for players and robots to specify if the event is the last event i.e. the entity has reached full health or the repair pack stack has been depleted.Why ?
Personally, I'm working on a mod for one use/limited uses construction bots, similar to the nanobots mod, that would use the native personal roboport network rather than periodically scanning the surface for ghosts in range of the player. This change would allow for limited Lua scripting and better performance. It would also allow for use in the roboport logistic networks.-DaShoup
