<?php

include("global.php");

### delete.php ###
// deletes a playlist cookie

$playlist_url = rawurlencode(stripslashes($playlist));

setcookie("Brunhilde[$playlist_url]", "", time() - 3600);

header("Content-Type: text/html");
header("location: index.php");

?>