Fixed a error in OS detection code for CentOS.

Till Brehm

2014-09-22 f02be96750e48859cc63f1f2b64a86a9202178b4

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