mirror of
https://github.com/opennetworkinglab/onos.git
synced 2026-05-17 02:36:14 +02:00
Differently from the case where we insert/modify entries, when deleting, we were not checking the content of the mirror. Now we do, and ignore the delete operation if the entry is missing from the mirror in the first place. Change-Id: Ib7648e3b5e01c87521b1d9a23c88a665092c9707