Fix TUN shutdown: waitkill was not effective because of a faulty if_alive
authorClaudio-Daniel Freire <claudio-daniel.freire@inria.fr>
Wed, 7 Sep 2011 02:44:47 +0000 (04:44 +0200)
committerClaudio-Daniel Freire <claudio-daniel.freire@inria.fr>
Wed, 7 Sep 2011 02:44:47 +0000 (04:44 +0200)
commit0158188d584031c31e7f24442713792874fd09fd
treee18f08e9949ccb648c45904ac8422d3bb889bae8
parent437177ecbb958940254f0fa9638429e1f02be195
Fix TUN shutdown: waitkill was not effective because of a faulty if_alive
src/nepi/testbeds/planetlab/tunproto.py