tweaked ping.py for inclusion in r2lab's tutorials - essentially as-is, except for...
[nepi.git] / examples / netns /
drwxr-xr-x   ..
-rw-r--r-- 2389 local_switch_ping.py