Add ispconfig port to firewall if port != 8080

tbrehm

2008-12-20 87fb65097c079ef546b8df04f99703fdac963f00

 interface/web/sites/shell_user_edit.php

@@ -202,6 +202,8 @@
      $clientName = $tmp['name'];
      if ($clientName == "") $clientName = 'default';
      $clientName = convertClientName($clientName);
		
      return $clientName;
   
   }