From: pcanterino <>
Date: Thu, 23 Dec 2010 21:19:45 +0000 (+0000)
Subject: - Tool.pm: Be consistent (lc instead of uc)
X-Git-Tag: version_3_2~24
X-Git-Url: https://git.p6c8.net/devedit.git/commitdiff_plain/c2b18d37a29420fc5b1e33c19a0e69d00016c621?ds=sidebyside;hp=5abe8188abba8d1d5931b84d36d719c7ef3aee36

- Tool.pm: Be consistent (lc instead of uc)
- README: Begin documentation of "disable_commands"
---

diff --git a/README b/README
index d35105c..3497087 100644
--- a/README
+++ b/README
@@ -94,7 +94,9 @@ forbidden                Specify a list of filenames the user is not allowed to
                          virtual root directory (they must also begin with a
                          slash) and have to be separated by space characters. If
                          a filename contains space characters, you have to put
-                         it into double quotation marks ("/filename").
+                         it into double quotation marks ("/file name").
+
+disable_commands         [Documentation]
 
 userconf_file            Specifies the path to a file which contains
                          user-dependent configuration options (see next section
@@ -119,6 +121,7 @@ options:
 - httproot
 - hide_dot_files
 - forbidden
+- disable_commands
 
 For overriding configuration values you need a special configuration file. The
 path to this file is defined using the "userconf_file" configuration option in
diff --git a/modules/Tool.pm b/modules/Tool.pm
index 95b64dd..ccb78af 100644
--- a/modules/Tool.pm
+++ b/modules/Tool.pm
@@ -308,7 +308,7 @@ sub is_disabled_command($$)
 
  foreach my $entry(@$list)
  {
-  return 1 if(uc($command) eq uc($entry));
+  return 1 if(lc($command) eq lc($entry));
  }
 
  return;