This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "Ganeti core".
The branch, stable-2.12 has been updated
via 6d5cede164a93927310e445c99d5110cd76639a4 (commit)
via bd1d7b91e306b19e3ebbdab9015e9a4d6d24aab3 (commit)
from f4bdea4927f1755b79906a3c5774335525db330f (commit)
Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.
- Log -----------------------------------------------------------------
commit 6d5cede164a93927310e445c99d5110cd76639a4
Author: Klaus Aehlig <[email protected]>
Date: Mon Oct 13 16:41:26 2014 +0200
Also clean up stale livelock files
So far, WConfD only cleans up the livelock files of resource
owners. While this is sufficient for reclaiming resources and
Ganeti to work properly, we still don't want to leak stale
livelock files.
Signed-off-by: Klaus Aehlig <[email protected]>
Reviewed-by: Niklas Hambuechen <[email protected]>
commit bd1d7b91e306b19e3ebbdab9015e9a4d6d24aab3
Author: Klaus Aehlig <[email protected]>
Date: Mon Oct 13 15:56:14 2014 +0200
Add a function to list livelock files found on the system
While we mainly care to detect deaths of resource owners, we
also want to avoid leaking stale livelock files. Those can
occur is someone dies after returning all resources. Provide
a function listing them, so that they can be cleaned up.
Signed-off-by: Klaus Aehlig <[email protected]>
Reviewed-by: Niklas Hambuechen <[email protected]>
-----------------------------------------------------------------------
Summary of changes:
src/Ganeti/Utils/Livelock.hs | 16 ++++++++++++++--
src/Ganeti/WConfd/DeathDetection.hs | 10 ++++++++++
2 files changed, 24 insertions(+), 2 deletions(-)
hooks/post-receive
--
Ganeti core
--
---
You received this message because you are subscribed to the Google Groups
"ganeti-commits" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
For more options, visit https://groups.google.com/d/optout.
