Add 404 to possible redirect codes in mod_rewrite
[hcoop/domtool2.git] / src / plugins / apache.sml
index 42b0564..813051c 100644 (file)
@@ -160,6 +160,7 @@ val redirect_code = fn (EVar "temp", _) => SOME "temp"
                     | (EVar "redir304", _) => SOME "304"
                     | (EVar "redir305", _) => SOME "305"
                     | (EVar "redir307", _) => SOME "307"
                     | (EVar "redir304", _) => SOME "304"
                     | (EVar "redir305", _) => SOME "305"
                     | (EVar "redir307", _) => SOME "307"
+                    | (EVar "notfound", _) => SOME "404"
                     | _ => NONE
 
 val flag = fn (EVar "redirect", _) => SOME "R"
                     | _ => NONE
 
 val flag = fn (EVar "redirect", _) => SOME "R"