diff metacheck.pl @ 1:9143a0c4c678

small fix for // in pathnames
author casties
date Thu, 08 Jul 2004 19:27:59 +0200
parents 30497c6a3eca
children b7259a1c85aa
line wrap: on
line diff
--- a/metacheck.pl	Thu Jun 17 17:58:42 2004 +0200
+++ b/metacheck.pl	Thu Jul 08 19:27:59 2004 +0200
@@ -45,6 +45,8 @@
     logger("ABORT", "no document directory given!");
     exit 1;
 }
+# strip double slashes
+$docdir =~ s/\/\//\//;
 # strip trailing slashes
 $docdir =~ s/\/$//;
 if (! -d $docdir) {