<?php
if(isset($_SESSION['cart']) && (sizeof($_SESSION['cart'])>0)) {
$cart_contents = $_SESSION['cart'];
$buffer = array();
foreach($cart_contents as $content) {
if(!(($content[0].";".$content[1])===$global_vars['request'][2]))
$buffer[] = $content;
}
$_SESSION['cart'] = $buffer;
}
header("Location: ".$url."cart/view/");
?>