function del_list()
{
    if ($_SESSION["uid"] == -100) {
        if (isset($_GET["ou"])) {
            $ou = base64_decode($_GET["ou"]);
        }
    } else {
        $ct = new user($_SESSION["uid"]);
        $ou = $ct->ou;
    }
    if (!preg_match("#(.+?)@(.+)#", $_GET["list-delete"], $re)) {
        echo "unable to preg_match {$_GET["list-delete"]}\n";
        return;
    }
    $mailman = new mailman_control($ou, $_GET["list-delete"]);
    $mailman->delete();
}