Check if the root directory exists

diff --git a/devedit.pl b/devedit.pl
index c29c22e702e08f3e7df5d407e302561133ee42dc..eccebd0d985880c0db262910e1e143b3904471ff 100644 (file)
--- a/devedit.pl
+++ b/devedit.pl
@@ -6,7 +6,7 @@
 # Dev-Editor's main program
 #
 # Author:        Patrick Canterino <patshaping@gmx.net>
-# Last modified: 2004-11-04
+# Last modified: 2004-11-07
 #
 
 use strict;
@@ -35,6 +35,10 @@ use constant CONFIGFILE => 'devedit.dat';
 my $config = read_config(CONFIGFILE);
 error_template($config->{'templates'}->{'error'}); # Yes, I'm lazy...
 
+# Check if the root directory exists
+
+abort($config->{'errors'}->{'no_root_dir'}) unless(-d $config->{'fileroot'});
+
 # Check if we are able to access the root directory
 
 abort($config->{'errors'}->{'no_root_access'}) unless(-r $config->{'fileroot'} && -x $config->{'fileroot'});

diff --git a/errors.dat b/errors.dat
index ffa9c6833072b7b1101d3c172ef9b29fc0a49dab..c7a170ccbd9e9a7c37b7c2a031d026372c3ddc58 100644 (file)
--- a/errors.dat
+++ b/errors.dat
@@ -12,6 +12,7 @@ mkfile_failed  = Could not create file '{FILE}'.
 mkdir_failed   = Could not create directory '{DIR}'.
 copy_failed    = Could not copy '{FILE}' to '{NEW_FILE}'.
 rename_failed  = Could not move/rename '{FILE}' to '{NEW_FILE}'.
+no_root_dir    = The root directory does not exist or is not a directory.
 no_root_access = You have not enough permissions to access the root directory.
 above_root     = Accessing files and directories above the virtual root directory is forbidden.
 create_ar      = You aren't allowed to create files and directories above the virtual root directory.