« Previous | Next » 

Revision 15486fa7

Parent 4331f6cd
Child f20cbea2

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


  • added
  • modified
  • copied
  • renamed
  • deleted

View differences