Some cleanings...

diff --git a/modules/Tool.pm b/modules/Tool.pm
index 75b9f31b6c8e247e7f9342b466f490d2abfae3e8..fc1b3b47034a3c38ed616fbd7f4322bc10a1f793 100644 (file)
--- a/modules/Tool.pm
+++ b/modules/Tool.pm
@@ -6,7 +6,7 @@ package Tool;
 # Some shared sub routines
 #
 # Author:        Patrick Canterino <patshaping@gmx.net>
 # Some shared sub routines
 #
 # Author:        Patrick Canterino <patshaping@gmx.net>

-# Last modified: 2003-10-27
+# Last modified: 2003-12-02

 #
 
 use strict;
 #
 
 use strict;


@@ -76,7 +76,7 @@ sub check_path($$)
 
  my $short_path = substr($path,length($root));
  $short_path =~ tr!\\!\/!;
 
  my $short_path = substr($path,length($root));
  $short_path =~ tr!\\!\/!;

- $short_path = "/".$short_path unless($short_path =~ m!^/!);
+ $short_path = "/".$short_path if($short_path !~ m!^/!);

  $short_path = $short_path."/" if($short_path !~ m!/$! && -d $path);
 
  return ($path,$short_path);
  $short_path = $short_path."/" if($short_path !~ m!/$! && -d $path);
 
  return ($path,$short_path);


@@ -149,12 +149,7 @@ sub file_name($)
 
 # upper_path()
 #
 
 # upper_path()
 #

-# Truncate a path in one of the following ways:
-#
-# - If the path points to a directory, the upper directory
-#   will be returned.
-# - If the path points to a file, the directory containing
-#   the file will be returned.
+# Cut the last part of a path away

 #
 # Params: Path
 #
 #
 # Params: Path
 #