Make servers able to launch when a stale ctrl.sock from a pervious server remains.
authorClaudio-Daniel Freire <claudio-daniel.freire@inria.fr>
Thu, 8 Sep 2011 10:52:18 +0000 (12:52 +0200)
committerClaudio-Daniel Freire <claudio-daniel.freire@inria.fr>
Thu, 8 Sep 2011 10:52:18 +0000 (12:52 +0200)
commitc6b18a46730b58f14d337e0985f88f1809c44a81
treefe48466ea09a60b3cd32e2ffdbe0e92b78fcaf2b
parentd654ef403a0ec18b5d4296b19c026a4234ca7c15
Make servers able to launch when a stale ctrl.sock from a pervious server remains.
ctrl.sock sockets are usually left behind when servers are killed or die, since they're not cleaned up automatically by the OS like other sockets
src/nepi/util/server.py