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(); }