ports.php

<?php

include("includes/common.inc");

$by = isset($_GET['by']) ? $_GET['by'] : '';
$substr = isset($_GET['substr']) ? $_GET['substr'] : '';

$seeother = false;
$newurl = $portdb_url;
switch ($by) {
    case 'name':
    case 'library':
        $newurl .= '?search=' . rawurlencode($substr) . '&search_by=name';
        break;
    case 'category':
        $newurl .= 'ports/category/' . rawurlencode($substr);
        break;
    case 'maintainer':
        /* ports.macports.org only groups by GitHub user, probably not worth
         * the effort to save those */
        $seeother = true;
        break;
    case 'variant':
        $newurl .= 'ports/variant/' . rawurlencode($substr);
        break;
    case 'platform':
        /* ports.macports.org does not allow searching by platform. */
        $seeother = true;
        break;
    case 'all':
    case '':
        // do nothing, $newurl and $seeother already set
        break;
}

/* 301 Moved Permanently, 303 See Other */
header('Location: ' . $newurl, true, $seeother ? 303 : 301);
exit();

?>