« Previous | Next » 

Revision 15486fa7

ID15486fa7a6b2837552076330f34e9aac730932b4

Added by Michael Hanselmann over 15 years ago

ganeti-masterd: Remove PID file at the end

Removing the PID file should be the last thing done. This patch makes
sure it's also removed when master.server_cleanup() throws an exception.

Also initialize logging only after writing the PID file.

Reviewed-by: iustinp

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences