1
0
mirror of https://github.com/MariaDB/server.git synced 2025-11-15 09:02:33 +03:00

A better, but larger fix for server_id bug ..

This commit is contained in:
unknown
2003-03-05 15:34:58 +02:00
parent 5247c5bf51
commit a300406b4f
5 changed files with 7 additions and 7 deletions

View File

@@ -5,7 +5,7 @@
extern char* master_host;
extern my_string opt_bin_logname, master_info_file;
extern uint32 server_id;
extern ulong server_id;
extern bool server_id_supplied;
extern I_List<i_string> binlog_do_db, binlog_ignore_db;