diff options
| -rw-r--r-- | server-tools/instance-manager/instance.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/server-tools/instance-manager/instance.h b/server-tools/instance-manager/instance.h index ee37690d40a..cbcfee0c7ef 100644 --- a/server-tools/instance-manager/instance.h +++ b/server-tools/instance-manager/instance.h @@ -42,7 +42,7 @@ public: void kill_instance(int signo); int is_crashed(); void set_crash_flag_n_wake_all(); - Instance_map *Instance::get_map(); + Instance_map *get_map(); public: enum { DEFAULT_SHUTDOWN_DELAY= 35 }; |