--- a/MPIWGStor.pm	Tue May 16 21:56:32 2006 +0200
+++ b/MPIWGStor.pm	Mon Jun 12 19:01:39 2006 +0200
@@ -155,15 +155,20 @@
 
 
 #
-# $name = sstrip($name)
+# $name = sstrip($name, $slash)
 #
 # strips leading and trailing whitespace from $name
+# replaces double slashes with single ones with $slash.
 #
 sub sstrip {
-    my ($name) = @_;
+    my ($name, $slash) = @_;
     
     if ($name =~ /^\s*(.*?)\s*$/) {
-	return $1;
+	$name = $1;
+    }
+    if ($slash) {
+	# trim multiple slashes
+	$name =~ s/\/+/\//g;
     }
     return $name;
 }