git://git.onelab.eu / nepi.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 17b82b7) | patch
Robustness improvements:
authorClaudio-Daniel Freire <claudio-daniel.freire@inria.fr>
Sun, 2 Oct 2011 19:08:52 +0000 (21:08 +0200)
committerClaudio-Daniel Freire <claudio-daniel.freire@inria.fr>
Sun, 2 Oct 2011 19:08:52 +0000 (21:08 +0200)
commit15df39406518550abe2e385a11096a17a8a3f83c
tree9b3e7a5921e2135e09a11fa97bcf621889b89c67tree | snapshot
parent17b82b737d266ddfec48bcacd528405e7f8d9f56commit | diff
Robustness improvements:
 - avoid using hostname all the time, it's sensitive to DNS glitches.
 - kill by only pid, pid+ppid does not always work (especially with sudo)
src/nepi/testbeds/planetlab/application.py diff | blob | history
src/nepi/testbeds/planetlab/rspawn.py diff | blob | history
src/nepi/util/server.py diff | blob | history
nepi