tree 4376d4c201e4b2d1aa6b9821042869a96ca696ca
parent aea72db5e6a85f305ff7091aa73a8e8324ce7215
author Saurav Das <sauravdas@alumni.stanford.edu> 1413496437 -0700
committer Saurav Das <sauravdas@alumni.stanford.edu> 1413496516 -0700

Fixed 2 bugs in SRManager:
  - setting mpls id when not pushing label
  - handling the same topology event multiple times

Change-Id: I04bf00942cd11faf993b431151b5bf2dae7a7ab2