mirror of
https://github.com/MariaDB/server.git
synced 2025-08-01 03:47:19 +03:00
Cleanup: manually port the polishing parts from Alik's changeset for
BUG#22306: STOP INSTANCE can not be applied for instances in Crashed, Failed and Abandoned
This commit is contained in:
@ -16,8 +16,29 @@
|
||||
along with this program; if not, write to the Free Software
|
||||
Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA */
|
||||
|
||||
void manager();
|
||||
#if defined(__GNUC__) && defined(USE_PRAGMA_INTERFACE)
|
||||
#pragma interface
|
||||
#endif
|
||||
|
||||
int create_pid_file(const char *pid_file_name, int pid);
|
||||
class Guardian;
|
||||
class Instance_map;
|
||||
|
||||
class Manager
|
||||
{
|
||||
public:
|
||||
static int main();
|
||||
/**
|
||||
These methods return a non-zero value only for the duration
|
||||
of main().
|
||||
*/
|
||||
static Instance_map *get_instance_map() { return p_instance_map; }
|
||||
static Guardian *get_guardian() { return p_guardian; }
|
||||
|
||||
private:
|
||||
static int manager_impl();
|
||||
private:
|
||||
static Guardian *p_guardian;
|
||||
static Instance_map *p_instance_map;
|
||||
};
|
||||
|
||||
#endif // INCLUDES_MYSQL_INSTANCE_MANAGER_MANAGER_H
|
||||
|
Reference in New Issue
Block a user