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['list_head_txt'] = 'Softwareupdates';
$wb['server_select_txt'] = 'Server wählen';
$wb['installed_txt'] = 'Aktion';
$wb['update_title_txt'] = 'Update';
$wb['version_txt'] = 'Version';
$wb['action_txt'] = 'Aktion';
?>