diff options
Diffstat (limited to 'server-tools/instance-manager/instance_map.h')
| -rw-r--r-- | server-tools/instance-manager/instance_map.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/server-tools/instance-manager/instance_map.h b/server-tools/instance-manager/instance_map.h index 98d98b5c516..8d8ea33cf5d 100644 --- a/server-tools/instance-manager/instance_map.h +++ b/server-tools/instance-manager/instance_map.h @@ -57,7 +57,6 @@ public: public: /* returns a pointer to the instance or NULL, if there is no such instance */ Instance *find(const char *name, uint name_len); - Instance *find(uint instance_number); int flush_instances(); int lock(); |