title: deleting a link in mininet
body: <p>While I was looking for some way to delete a link in mininet, I came across this : <a href="https://mailman.stanford.edu/pipermail/mininet-discuss/2013-November/003270.html" rel="nofollow">https://mailman.stanford.edu/pipermail/mininet-discuss/2013-November/003270.html</a>
  I added this code snippet in net.py of the mininet module, but still when I try from the mininet console, it says mininet object has no attribute delLink, any idea why so?</p>
  
  <p>Thanks!</p>