]> git.p6c8.net - devedit.git/commitdiff
exec_unlock() now checks if the file is really in use. Otherwise, we return to
authorpcanterino <>
Tue, 5 Oct 2004 17:43:11 +0000 (17:43 +0000)
committerpcanterino <>
Tue, 5 Oct 2004 17:43:11 +0000 (17:43 +0000)
directory view (maybe we change this behaviour and display an error message...).

modules/Command.pm

index 85b5fcf983aa152df88eedbea7382981f65bb239..591c8b12a1d6c7a222a8ef0fd58bf3d4e6edfba0 100644 (file)
@@ -6,7 +6,7 @@ package Command;
 # Execute Dev-Editor's commands
 #
 # Author:        Patrick Canterino <patshaping@gmx.net>
-# Last modified: 2004-10-04
+# Last modified: 2004-10-05
 #
 
 use strict;
@@ -825,10 +825,13 @@ sub exec_unlock($$)
 {
  my ($data,$config) = @_;
  my $virtual        = $data->{'virtual'};
+ my $uselist        = $data->{'uselist'};
+
+ return devedit_reload({command => 'show', file => upper_path($virtual)}) if($uselist->unused($virtual));
 
  if($data->{'cgi'}->param('confirmed'))
  {
-  file_unlock($data->{'uselist'},$virtual);
+  file_unlock($uselist,$virtual);
   return devedit_reload({command => 'show', file => upper_path($virtual)});
  }
  else

patrick-canterino.de