post-review fixes + cleanup + some minor fixes

2025-07-30 16:24:05 +03:00 · 2005-02-27 18:41:34 +03:00
parent 1e6bfa39c3
commit 912dfdfa34
16 changed files with 206 additions and 90 deletions
--- 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();