Use Linux-specific way to name master socket
authorMichael Hanselmann <hansmi@google.com>
Mon, 18 Aug 2008 11:12:06 +0000 (11:12 +0000)
committerMichael Hanselmann <hansmi@google.com>
Mon, 18 Aug 2008 11:12:06 +0000 (11:12 +0000)
commit9894ece7cac241a51f5a6310e1e074058f6f514e
tree98101129c7ee8a39501b712d1c30c2dac556a01d
parentfc28c086423109b6d16ac47200a0cd7014b26922
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
daemons/ganeti-masterd
lib/constants.py