1
0
mirror of https://github.com/MariaDB/server.git synced 2026-01-06 05:22:24 +03:00

Bug#31177: Server variables can't be set to their current values

extra 5.1 fixes
This commit is contained in:
tnurnberg@mysql.com/white.intern.koehntopp.de
2007-12-02 05:18:34 +01:00
parent f561e8ddf3
commit 2cc07b287a

View File

@@ -1 +1 @@
--set-variable=sort_buffer=0
--set-variable=sort_buffer=32804