Fixed a error in OS detection code for CentOS.

Till Brehm

2014-09-22 f02be96750e48859cc63f1f2b64a86a9202178b4

1
2
3
4
<?php
$wb["list_head_txt"] = 'Server Configuration';
$wb["server_name_txt"] = 'Server';
?>