« Previous | Next » 

Revision 9894ece7

Parent fc28c086
Child 34290825

Added by Michael Hanselmann almost 16 years ago

Use Linux-specific way to name master socket

By using this Linux-specific way we don't have to care about removing the
socket file when quitting or starting (after an unclean shutdown). For a
more detailed description, see the comment in the patch.

Reviewed-by: schreiberal


  • added
  • modified
  • copied
  • renamed
  • deleted

View differences