Update df function serveResource()

Added optional parameter for resource's filename.  If given, a
Content-Disposition header will be delivered to the client.

1 files changed, 7 insertions, 3 deletions

diff --git a/app/df.php b/app/df.php
index a425d57..9581cae 100644
--- a/app/df.php
+++ b/app/df.php
@@ -31,15 +31,19 @@ require_once "class/user.class.php";
  * request.  When finished, this function will exit PHP and terminate
  * this script.
  */
-function serveResource(string $uri) : void
+function serveResource(string $uri, ?string $filename = NULL) : void
 {
     $f = fopen($uri, "rb");
 
     if (!$f)
         exit;
 
-    header("Content-type: " . mime_content_type($uri));
-    header("Content-length: " . filesize($uri));
+    header("Content-Type: " . mime_content_type($uri));
+    header("Content-Length: " . filesize($uri));
+
+    if ($filename)
+        header("Content-Disposition: attachment; filename='" . $filename . "'");
+
     fpassthru($f);
     fclose($f);