Added a 404 header but it seems not to work ... not sure why not.

diff --git a/file.php b/file.php
index 466b9f0ef489575d30921b3113c98b8fef23c9ac..b25e6cf301e1f1cbc4c7e102befd1cfa9d329bfe 100644 (file)
--- a/file.php
+++ b/file.php
@@ -91,6 +91,7 @@
             }
         }
     } else {
+        header("HTTP/1.0 404 not found");
         error(get_string("filenotfound", "error"), "$CFG->wwwroot/course/view.php?id=$courseid");
     }