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

abgreeve · Aug 18, 2004 · de48272 · de48272
1 parent 80035a8
commit de48272
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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");
     }