\"{$video}\"

Please choose format:

Download
 Quicktime MOV [medium]
$mov_medium_size 		[full]
$mov_full_size
 WinMedia WMV [medium]
$wmv_medium_size 		[full]
$wmv_full_size "; }else{ //Yes, there was a cookie. Let's load it. echo " Playing {$video} "; //echo "

Found cookie!

"; $cookie_info = explode("-", $_COOKIE['video_prefs']); //Extract the Data $format = $cookie_info[0]; $type = $cookie_info[1]; $bandwidth = $cookie_info[2]; $size = $cookie_info[3]; show_video($video,$format,$type,$bandwidth,$size); } } if ($from == "popup") { //This Popup window was called from itself: use the GET data instead, //and write this to a cookie! $cookie_data = $format . "-" . $type . "-" . $bandwidth . "-" . $size; if (setcookie("video_prefs",$cookie_data, $time+(60*60*24*7))) { $success = true; }else{ $success = false; } echo " Noted your preference; now playing {$video} "; //echo "

Popup called from itself!

"; if ($success) { //echo "

Cookie SET: $cookie_data

"; }else{ //echo "

ERROR setting Cookie: $cookie_data

"; } show_video($video,$format,$type,$bandwidth,$size); } function show_video($video,$format,$type,$bandwidth,$size) { //echo "

Playing video: {$video}, format: {$format}, type: {$type}, bandwidth: {$bandwidth}, size: {$size}"; echo "

"; if ($type == 'streaming') { $settings = "Streaming "; //$video_URL = $video . "_edited" . "_" . $bandwidth . "k"; $video_URL = $video . "_" . $bandwidth . "k"; switch ($format) { case "real": $video_URL = "http://helix.media.mit.edu/ramgen/public/speech/" . $video_URL . ".rm"; echo "

"; echo "

"; $settings .= "Real Video "; break; case "wmv": //WMV can be also streaming, but we have no streaming server right now $video_URL = "mms://helix.media.mit.edu/public/speech/" . $video_URL . ".wmv"; echo "

"; //echo "

URL: {$video_URL}"; $settings .= "Windows Media "; break; } $settings .= "$bandwidth kbps"; } if ($type == 'download') { $settings = "Download "; //$video_URL = $video . "_edited" . "_" . $size; $video_URL = $video . "_" . $size; switch ($format) { case "mov": $video_URL = "http://www.media.mit.edu/speech/videos/" . $video_URL . ".mov"; //echo "URL: {$video_URL}
"; $file_size = remote_file_size ($video_URL); echo "

$video:
"; echo "Click here to download
"; echo "MOV file, $size size, $file_size"; echo "

To save file locally, right mouse click, then \"Save Target As...\""; $settings .= "Quicktime "; break; case "wmv": $video_URL = "http://www.media.mit.edu/speech/videos/" . $video_URL . ".wmv"; //echo "URL: {$video_URL}
"; $file_size = remote_file_size ($video_URL); echo "

$video:
"; echo "Click here to download
"; echo "WMV file, $size size, $file_size"; echo "

To save file locally, right mouse click, then \"Save Target As...\""; $settings .= "Windows Media "; break; } $settings .= "$size"; } echo "

Your preferences: {$settings}
Modify your preferences"; } // end function show_video function remote_file_size ($url) { $head = ""; $url_p = parse_url($url); $host = $url_p["host"]; $path = $url_p["path"]; $fp = fsockopen($host, 80, $errno, $errstr, 20); if(!$fp) { return false; } else { fputs($fp, "HEAD ".$url." HTTP/1.1\r\n"); fputs($fp, "HOST: dummy\r\n"); fputs($fp, "Connection: close\r\n\r\n"); $headers = ""; while (!feof($fp)) { $headers .= fgets ($fp, 128); } } fclose ($fp); $return = false; $arr_headers = explode("\n", $headers); foreach($arr_headers as $header) { $s = "Content-Length: "; if(substr(strtolower ($header), 0, strlen($s)) == strtolower($s)) { $return = substr($header, strlen($s)); break; } } if ($return >= 1000000000) { //GB $return = round($return/1000000000 , 1) . "GB"; }else{ if ($return >= 1000000) { //MB $return = round($return/1000000 , 1) . "MB"; }else{ if ($return >= 1000) { //KB $return = round($return/1000 , 1) . "KB"; }else{ // Less than 1KB $return = $return . "Bytes"; } } } return $return; } ?>