php/download.php

   1 <?php
   2
   3 $id = $_GET['id'];
   4 $id = preg_replace("/[^a-zA-Z-_0-9]/", "", $id);
   5
   6 header("Content-Type: application/x-go-sgf; name=$id.sgf");
   7 header("Content-Disposition: attachment; filename=$id.sgf");
   8
   9 if (file_exists("../sgf/$id.sgf")) {
  10     echo file_get_contents("../sgf/$id.sgf");
  11 } elseif (file_exists("../sgf/games/$id.sgf")) {
  12    echo file_get_contents("../sgf/games/$id.sgf");
  13 } elseif (file_exists("../sgf/saved/$id.sgf")) {
  14    echo file_get_contents("../sgf/saved/$id.sgf");
  15 }
  16
  17 ?>