fix isisd instead of ospfd

Author: StefanoSalsano

nets/8r-1c-in-band-isis/isis8d.py

@@ -182,7 +182,7 @@ def stopAll():
     # Clean Mininet emulation environment
     os.system('sudo mn -c')
     # Kill all the started daemons
-    os.system('sudo killall sshd zebra ospfd')
+    os.system('sudo killall sshd zebra isisd')
 
 def extractHostPid (dumpline):
     temp = dumpline[dumpline.find('pid=')+4:]

nets/8r-1c-out-band-isis/isis8d.py

@@ -232,7 +232,7 @@ def stopAll():
     # Clean Mininet emulation environment
     os.system('sudo mn -c')
     # Kill all the started daemons
-    os.system('sudo killall sshd zebra ospfd')
+    os.system('sudo killall sshd zebra isisd')
 
 def extractHostPid (dumpline):
     temp = dumpline[dumpline.find('pid=')+4:]

nets/8routers-isis-ipv6/isis8d.py

@@ -178,7 +178,7 @@ def stopAll():
     # Clean Mininet emulation environment
     os.system('sudo mn -c')
     # Kill all the started daemons
-    os.system('sudo killall sshd zebra ospfd')
+    os.system('sudo killall sshd zebra isisd')
 
 def extractHostPid (dumpline):
     temp = dumpline[dumpline.find('pid=')+4:]