1
0
mirror of https://github.com/MariaDB/server.git synced 2025-08-26 01:44:06 +03:00
Commit Graph

3 Commits

Author SHA1 Message Date
Alexander Nozdrin
4f08c6d0e5 A follow-up on WL#5154 and WL#5182: remove forgotten options. 2010-03-03 22:22:02 +03:00
msvensson@pilot.mysql.com
abb0bdde9e Add --verbose-restart 2008-02-04 09:15:44 +01:00
msvensson@pilot.mysql.com
9087ee9170 Try to dynamically change option, restart if it fails 2008-01-07 19:44:48 +01:00