Revision 9894ece7
| ID | 9894ece7cac241a51f5a6310e1e074058f6f514e |
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