exec_unlock() now checks if the file is really in use. Otherwise, we return to

[devedit.git] / devedit.pl

diff --git a/devedit.pl b/devedit.pl
index 13f71eed41822f52b432591392c9acc0d5f8edb4..cf4ea19734299faf00526f7441aead29e25edd71 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-07-04
+# Last modified: 2004-10-04
 #
 
 use strict;
@@ -50,7 +50,7 @@ my $newfile = $cgi->param('newfile') || '';
 my $new_physical = '';
 my $new_virtual  = '';
 
-if($newfile ne '')
+if($newfile ne '' && $newfile !~ /^\s+$/)
 {
  $curdir  = upper_path($file) if($curdir eq '');
  my $path = clean_path($curdir.$newfile);