From: pcanterino <>
Date: Wed, 5 Jan 2005 16:06:19 +0000 (+0000)
Subject: - Removed error message "file_in_use"
X-Git-Tag: version_2_3~6
X-Git-Url: https://git.p6c8.net/devedit.git/commitdiff_plain/f9e51fc19507839a1347b41967520814cd05bcd8?ds=sidebyside;hp=aaf0e6043fd7be7dfd21447b3698ed18f8a19062

- Removed error message "file_in_use"
- Synchronized exec_mkfile() and exec_mkdir() in Command.pm
---

diff --git a/errors.dat b/errors.dat
index 81e7b5e..88be554 100644
--- a/errors.dat
+++ b/errors.dat
@@ -17,7 +17,6 @@ editdir        = You cannot edit directories.
 exist_edited   = The target file '{FILE}' already exists and is edited by someone else.
 exist_no_write = The target file '{FILE}' already exists and you have not enough permissions to replace it.
 file_exists    = A file or directory called '{FILE}' already exists.
-file_in_use    = The file '{FILE}' is currently edited by someone else.
 file_too_large = The file you want to view or edit is too large (max. {SIZE}&nbsp;Bytes).
 in_use         = The file '{FILE}' is currently edited by someone else.
 invalid_group  = '{GROUP}' seems to be an invalid group name. Please check it and try again.
diff --git a/modules/Command.pm b/modules/Command.pm
index 96dbf52..d6df6b2 100644
--- a/modules/Command.pm
+++ b/modules/Command.pm
@@ -6,7 +6,7 @@ package Command;
 # Execute Dev-Editor's commands
 #
 # Author:        Patrick Canterino <patrick@patshaping.de>
-# Last modified: 2005-01-01
+# Last modified: 2005-01-05
 #
 
 use strict;
@@ -439,10 +439,10 @@ sub exec_mkdir($$)
  my $dir            = upper_path($new_virtual);
  $new_virtual       = encode_entities($new_virtual);
 
- return error($config->{'errors'}->{'file_exists'},$dir,{FILE => $new_virtual}) if(-e $new_physical);
-
  if($new_physical)
  {
+  return error($config->{'errors'}->{'file_exists'},$dir,{FILE => $new_virtual}) if(-e $new_physical);
+
   mkdir($new_physical,0777) or return error($config->{'errors'}->{'mkdir_failed'},$dir,{DIR => $new_virtual});
   return devedit_reload({command => 'show', file => $dir});
  }