1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-29 05:21:33 +03:00

Polishing:

1. use MySQL headers instead of system ones;
  2. move logical part of code into a separate function.
This commit is contained in:
anozdrin/alik@alik.opbmk
2007-02-20 21:28:30 +03:00
parent a91354c3be
commit 61b624eb76
4 changed files with 59 additions and 39 deletions

View File

@ -51,6 +51,7 @@ public:
private:
static void stop_all_threads();
static bool init_user_map(User_map *user_map);
private:
static Guardian *p_guardian;