Fixed mysql restart problems in Ubuntu 14.10

Till Brehm

2014-10-28 574a163ae3874020fda9cb921fe88f2711afa4b3

1
2
3
4
5
-- -----------------------------------------------------------
-- Dummy patch file
-- Do not edit this file
-- See README.txt in sql folder for detailed instructions
-- -----------------------------------------------------------