Force web server ID to be 1 if no other server is found.

Till Brehm

2016-06-15 c4cf454ef455d05542d5513961f2ee8f5c34e018

1
2
3
4
5
6
7
<?php
$wb['head_txt'] = 'Update Packagelist';
$wb['list_desc_txt'] = '';
$wb['btn_start_txt'] = 'Update Packagelist';
$wb['btn_cancel_txt'] = 'Cancel';
$wb['legend_txt'] = 'Here you can update the list of available packages. Please note that this can take up to five minutes. You can leave this page if you like; the process will continue in the background.';
?>