some minor changes to ospf, and added protocol