diff options
Diffstat (limited to 'src/monitor.cc')
| -rw-r--r-- | src/monitor.cc | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/src/monitor.cc b/src/monitor.cc index b9c6085..17c3dfd 100644 --- a/src/monitor.cc +++ b/src/monitor.cc @@ -44,26 +44,6 @@ public: return machines_.size(); } - uint32_t id(size_t index) const override { - auto it = machines_.begin(); - while (index--) ++it; - if (it == machines_.end()) { - assert(false); - return 0xffffffff; - } - return it->first; - } - - Machine machine_at(size_t index) const override { - auto it = machines_.begin(); - while (index--) ++it; - if (it == machines_.end()) { - assert(false); - return EMPTY; - } - return it->second; - } - Machine machine(uint32_t id) const override { auto it = machines_.find(id); if (it == machines_.end()) { |
