- PHP dirname() is broken: ("/1/2/3"=>"/1/2", "/1"->"/") !
+// 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:
function footer($delimit=true)
{
// deadlock prevention: