diff options
| author | Joel Klinghed <the_jk@opera.com> | 2026-05-29 11:22:59 +0200 |
|---|---|---|
| committer | Joel Klinghed <the_jk@opera.com> | 2026-05-29 11:22:59 +0200 |
| commit | a6ac90c83edbade279cccfdb6d8ca02d8e5a60b8 (patch) | |
| tree | 02812431b6aa823863fd393439688fdcd1a4d76a /src/monitor.hh | |
| parent | 9d1bbc93bb4a49ae73ae39ef323e2e18f303f0d9 (diff) | |
Use more effective lookup
Diffstat (limited to 'src/monitor.hh')
| -rw-r--r-- | src/monitor.hh | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/monitor.hh b/src/monitor.hh index 402b087..aa31f26 100644 --- a/src/monitor.hh +++ b/src/monitor.hh @@ -48,8 +48,6 @@ public: uint16_t port = 0) = 0; virtual void disconnect() = 0; virtual size_t machines() const = 0; - virtual uint32_t id(size_t index) const = 0; - virtual Machine machine_at(size_t index) const = 0; virtual Machine machine(uint32_t id) const = 0; virtual void add_observer(Observer* observer) = 0; |