<? session_start(); $id = $_GET["id"]; $src = $_SESSION["src_".$id]; header('Content-Description: File Transfer'); header('Content-Disposition: attachment; filename="ivprog_'.$id.'.ivp"'); header('Content-Type: application/octet-stream'); header('Content-Transfer-Encoding: binary'); header('Content-Length: ' . strlen($src)); header('Cache-Control: must-revalidate, post-check=0, pre-check=0'); header('Pragma: public'); header('Expires: 0'); echo $src;