Re: bug in server-start

[Dan Nicolaescu]

Stefan Monnier <address@hidden> writes:

  > > We could install something by default to restart the server when
  > > receiving an USR1 or USR2 signal.
  > 
  > We could, but it wouldn't change much to the underlying problem: the
  > user still needs to somehow figure out (or at least suspect) that
  > there's a dormant server, then use `ps' to find the PID.

Having the binding gives you one way to handle the server instead of none.

Sometimes the "server" socket gets deleted by an overzealous /tmp cleaner
cron job leaving you with no way to control the server...