Revision 9894ece7
ID | 9894ece7cac241a51f5a6310e1e074058f6f514e |
Parent | fc28c086 |
Child | 34290825 |
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