X-Git-Url: https://git.p6c8.net/devedit.git/blobdiff_plain/e3a612df5e53adb76632fa1e9b32770e83bf8eff..4f312081a2b65ffd71c66e425cbe1b51e0e9c9ec:/devedit.pl diff --git a/devedit.pl b/devedit.pl index 87afee4..a868428 100644 --- a/devedit.pl +++ b/devedit.pl @@ -6,7 +6,7 @@ # Dev-Editor's main program # # Author: Patrick Canterino -# Last modified: 2006-08-24 +# Last modified: 2010-12-23 # # Copyright (C) 1999-2000 Roland Bluethgen, Frank Schoenmann # Copyright (C) 2003-2009 Patrick Canterino @@ -30,7 +30,7 @@ use Command; use Output; use Tool; -$VERSION = '3.1'; +$VERSION = '3.2-dev'; # Path to configuration file # Change if necessary! @@ -59,6 +59,13 @@ my $file = $cgi->param('file') || '/'; my $curdir = $cgi->param('curdir') || ''; my $newfile = $cgi->param('newfile') || ''; +# Check if the command is disabled + +if(is_disabled_command($config->{'disable_commands'},$command)) +{ + abort($config->{'errors'}->{'command_disabled'},'/',{COMMAND => encode_html($command)}); +} + # Create physical and virtual path for the new file my $new_physical = '';