Revision 15486fa7
ID | 15486fa7a6b2837552076330f34e9aac730932b4 |
Parent | 4331f6cd |
Child | f20cbea2 |
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