Add ispconfig port to firewall if port != 8080

tbrehm

2008-12-20 87fb65097c079ef546b8df04f99703fdac963f00

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