+dirnameslashed($filename)
[www.energie.vellum.cz.git] / common.php
index 1749106..ab99ea7 100644 (file)
@@ -304,6 +304,15 @@ function image_supported($mime)
        return(false);
 }
 
+// PHP dirname() is broken: ("/1/2/3"=>"/1/2", "/1"->"/")
+function dirnameslashed($filename)
+{
+       $r=dirname($filename);
+       if (substr($r,-1)!="/")
+               $r.="/";
+       return($r);
+}
+
 function footer($delimit=true)
 {
        // deadlock prevention: