mon: PaxosServices needs virtual destructor

diff --git a/src/mon/PaxosService.h b/src/mon/PaxosService.h
index 76d1f11fd414edd8386bf88f702cfcb415ef365c..d2cc796f18597acb44b5ec2bc1e6afb78e4b8470 100644 (file)
--- a/src/mon/PaxosService.h
+++ b/src/mon/PaxosService.h
@@ -76,6 +76,7 @@ public:
   PaxosService(Monitor *mn, Paxos *p) : mon(mn), paxos(p),
                                        proposal_timer(0),
                                        have_pending(false) { }
+  virtual ~PaxosService() {}
 
   const char *get_machine_name();