1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-30 16:24:05 +03:00

A post-merge fix.

This commit is contained in:
kostja@bodhi.local
2006-11-17 20:07:52 +03:00
parent 33bbdf5c25
commit d2248d973e
2 changed files with 5 additions and 6 deletions

View File

@ -68,8 +68,7 @@ private:
/* Names are conventionally the same as in mysqld */
int check_connection();
int do_command();
int dispatch_command(enum enum_server_command command,
const char *text, uint len);
int dispatch_command(enum enum_server_command command, const char *text);
};
#endif // INCLUDES_MYSQL_INSTANCE_MANAGER_MYSQL_CONNECTION_H