Fixed a error in OS detection code for CentOS.

Till Brehm

2014-09-22 f02be96750e48859cc63f1f2b64a86a9202178b4

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