Okay, I have made the tiny modification needed to address this issue, and pushed to git://github.com/barak/iodine-client-start.git. I'm not really sure how useful it will be, since other parts of the route setup are also non-idempotent, but I don't see how it can mess things up that wouldn't be fixed by taking the device down and up again, which is the alternative without the patch.
--Barak. -- Barak A. Pearlmutter Hamilton Institute & Dept Comp Sci, NUI Maynooth, Co. Kildare, Ireland http://www.bcl.hamilton.ie/~barak/ -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org