get.php 486 B

12345678910111213141516
  1. <?
  2. session_start();
  3. $id = $_GET["id"];
  4. $src = $_SESSION["src_".$id];
  5. header('Content-Description: File Transfer');
  6. header('Content-Disposition: attachment; filename="ivprog_'.$id.'.ivp"');
  7. header('Content-Type: application/octet-stream');
  8. header('Content-Transfer-Encoding: binary');
  9. header('Content-Length: ' . strlen($src));
  10. header('Cache-Control: must-revalidate, post-check=0, pre-check=0');
  11. header('Pragma: public');
  12. header('Expires: 0');
  13. echo $src;