Do not allow to change the properties of the virtual root directory

[devedit.git] / modules / Tool.pm

diff --git a/modules/Tool.pm b/modules/Tool.pm
index c3548b0a14ef9b1827c7db59b23b5c04b9a11bbb..baaff16d8d8aedd6d697ef125cb745649690fbcc 100644 (file)
--- a/modules/Tool.pm
+++ b/modules/Tool.pm
@@ -5,7 +5,7 @@ package Tool;
 #
 # Some shared sub routines
 #
 #
 # Some shared sub routines
 #

-# Author:        Patrick Canterino <patshaping@gmx.net>
+# Author:        Patrick Canterino <patrick@patshaping.de>

 # Last modified: 2004-11-13
 #
 
 # Last modified: 2004-11-13
 #
 


@@ -35,7 +35,7 @@ use base qw(Exporter);
 
 # check_path()
 #
 
 # check_path()
 #

-# Check, if a virtual path is above a virtual root directory
+# Check if a virtual path is above a virtual root directory

 # (currently no check if the path exists - check otherwise!)
 #
 # Params: 1. Virtual root directory
 # (currently no check if the path exists - check otherwise!)
 #
 # Params: 1. Virtual root directory