Updated to version 1.3

[devedit.git] / modules / Tool.pm

diff --git a/modules/Tool.pm b/modules/Tool.pm
index 9e89e43e6ad71e0ad1e13cafe1c06bad5d428ef8..1009640c046d86aad9a2553bde2331e61031d16c 100644 (file)
--- a/modules/Tool.pm
+++ b/modules/Tool.pm
@@ -6,13 +6,14 @@ 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-03
+# Last modified: 2004-02-24

 #
 
 use strict;
 
 use vars qw(@EXPORT);
 
 #
 
 use strict;
 
 use vars qw(@EXPORT);
 

+use CGI qw(redirect);

 use Cwd qw(abs_path);
 use File::Spec;
 
 use Cwd qw(abs_path);
 use File::Spec;
 


@@ -22,6 +23,8 @@ use base qw(Exporter);
 
 @EXPORT = qw(check_path
              clean_path
 
 @EXPORT = qw(check_path
              clean_path

+             devedit_reload
+             equal_url

              file_name
              upper_path);
 
              file_name
              upper_path);
 


@@ -74,7 +77,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);


@@ -98,9 +101,55 @@ sub clean_path($)
  return $path;
 }
 
  return $path;
 }
 

+# devedit_reload()
+#
+# Create a HTTP redirection header to load Dev-Editor
+# with some other parameters
+#
+# Params: Hash Reference (will be merged to a query string)
+#
+# Return: HTTP redirection header (Scalar Reference)
+
+sub devedit_reload($)
+{
+ my $params = shift;
+ my @list;
+
+ while(my ($param,$value) = each(%$params))
+ {
+  push(@list,$param."=".$value);
+ }
+
+ my $query  = join("&",@list);
+ my $header = redirect("http://$ENV{'HTTP_HOST'}$ENV{'SCRIPT_NAME'}?$query");
+
+ return \$header;
+}
+
+# equal_url()
+#
+# Create URL equal to a file or directory
+#
+# Params: 1. HTTP root
+#         2. Relative path
+#
+# Return: Formatted link (String)
+
+sub equal_url($$)
+{
+ my ($root,$path) = @_;
+ my $url;
+
+ $root =~ s!/$!!;
+ $path =~ s!^/!!;
+ $url  =  $root."/".$path;
+
+ return $url;
+}
+

 # file_name()
 #
 # file_name()
 #

-# Returns the last path of a filename
+# Return the last path of a path

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


@@ -122,12 +171,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 away the last part of a path

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


@@ -141,8 +185,7 @@ sub upper_path($)
  unless($path eq "/")
  {
   $path = substr($path,0,-1) if($path =~ m!/$!);
  unless($path eq "/")
  {
   $path = substr($path,0,-1) if($path =~ m!/$!);

-  $path = substr($path,0,rindex($path,"/"));
-  $path = $path."/";
+  $path = substr($path,0,rindex($path,"/")+1);

  }
 
  return $path;
  }
 
  return $path;