diff options
| -rw-r--r-- | src/mon/Monitor.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/mon/Monitor.h b/src/mon/Monitor.h index bed48ecee34..0337998cd6e 100644 --- a/src/mon/Monitor.h +++ b/src/mon/Monitor.h @@ -168,6 +168,7 @@ public: case STATE_ELECTING: return "electing"; case STATE_LEADER: return "leader"; case STATE_PEON: return "peon"; + case STATE_SHUTDOWN: return "shutdown"; default: return "???"; } } |