Advertisement
Guest User

Untitled

a guest
Jun 20th, 2019
71
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.77 KB | None | 0 0
  1. <?php
  2.  
  3. $file =$_GET['file'];
  4. if(file_exists($file)) {
  5.  
  6. $fileExtension = substr($file, -3);
  7. if($fileExtension === "pdf"){
  8. $filenameIndex = strpos($file, "pdf/") + 4;
  9. $filename = basename($file);
  10.  
  11. }
  12. elseif ($fileExtension === "mp3") {
  13. $filenameIndex = strpos($file, "mp3/") + 4;
  14. $filename = basename($file);
  15. }
  16.  
  17. header('Content-Type: application/octet-stream');
  18. header('Content-Disposition: attachment; filename="'.$filename.'"');
  19. header('Content-length: '. filesize($file));
  20. header('X-Pad: avoid browser bug');
  21. header('Cache-Control: no-cache');
  22. header('Content-Transfer-Encoding: chunked');
  23. readfile($file);
  24. print file_get_contents($file);
  25. exit;
  26. }
  27. ?>
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement