$port = $_POST["port"]; else $port = $_GET['port'];
$port = (int)$_POST["port"]; else $port = (int)$_GET['port'];