« Previous | Next » 

Revision 9894ece7

ID9894ece7cac241a51f5a6310e1e074058f6f514e

Added by Michael Hanselmann about 14 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

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences