Aha!

diff --git a/devedit.pl b/devedit.pl
index 2f9c9184cf9a17cc1198103c60a57c95235dec02..237cf34ca205d372c1c75698071d4e4445094fdf 100644 (file)
--- a/devedit.pl
+++ b/devedit.pl
@@ -69,14 +69,7 @@ if($newfile ne '' && $newfile !~ /^\s+$/)
 
  # ... check if the directory exists ...
 
 
  # ... check if the directory exists ...
 

- unless(-d clean_path($config->{'fileroot'}.'/'.$dir))
- {
-  abort($config->{'errors'}->{'dir_not_exist'},'/');
- }
-
- # (don't know, why this test has to be done separately)
-
- if(-l clean_path($config->{'fileroot'}.'/'.$dir))
+ unless(-d clean_path($config->{'fileroot'}.'/'.$dir) && not -l clean_path($config->{'fileroot'}.'/'.$dir))

  {
   abort($config->{'errors'}->{'dir_not_exist'},'/');
  }
  {
   abort($config->{'errors'}->{'dir_not_exist'},'/');
  }