tree e7c4382a5e8601f6d2030688ec6285c82a6010fa
parent 89aa7f30da36d6cfde922eaefd9944580d4612cb
author Willy Tarreau <w@1wt.eu> 1478529753 +0100
committer Willy Tarreau <w@1wt.eu> 1478701417 +0100
encoding latin1

MINOR: server: indicate in the logs when RMAINT is cleared

It's important to report in the server state change logs that RMAINT was
cleared, as it's not the regular maintenance mode, it's specific to name
resolution, and it's important to report the new state (which can be DRAIN
or READY).