quick workaround for bug: server_id gets "0" when saving again because the ...

redray

2009-03-11 044b0a00c44f61562dc0d251f2bd8ef8370673fe

1
2
3
4
5
6
7
8
<?php
$wb['server_id_txt'] = 'Server';
$wb['priority_txt'] = 'Prioriteit';
$wb['policy_id_txt'] = 'Policy';
$wb['email_txt'] = 'Email (patroon)';
$wb['fullname_txt'] = 'Naam';
$wb['local_txt'] = 'Lokaal';
?>