Add ispconfig port to firewall if port != 8080

tbrehm

2008-12-20 87fb65097c079ef546b8df04f99703fdac963f00

1
2
3
4
5
6
<?php
$wb['User Settings'] = 'User Settings';
$wb['Settings'] = 'Settings';
$wb['ISPConfig Tools'] = 'ISPConfig Tools';
$wb['Password and Language'] = 'Password and Language';
?>