Improved error handling on decoding errors in the server part.

tbrehm

2010-02-10 bc5697289b7dedc662f0c90887a0055cc126ae02

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