git://git.onelab.eu / nepi.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: 15df394)
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)
 - 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)


No differences found
nepi