Ludovic Courtès (2015-12-12 21:07 +0300) wrote: > Alex Kost skribis: > >> There is one small thing though: Guile does not remove socket file after >> exiting from "guile --listen=/tmp/foo" so these dead sockets will stay in >> /tmp dir. As there is no `comint-exit-hook' or alike, I don't see how a >> socket file can be removed after the REPL is killed. > > You could maybe arrange to have Guile run something like: > > (dynamic-wind > (const #t) > (lambda () > (start-repl)) ;start a new REPL > (lambda () > (false-if-exception (delete-file "/tmp/foo")))) > > Not perfect, but I don’t have a better idea. Hm, but it doesn't delete the socket after the quit, right? At least, it doesn't when I tried "guile -l /tmp/repl-server.scm" with the following "/tmp/repl-server.scm":