- Check if unlocking of the list of files in use was successful

[devedit.git] / errors.dat

diff --git a/errors.dat b/errors.dat
index 23de6c1552990c9eaedc5de02874966ede03cc6d..8ead289cb744d10e9c89918d43975da80d84b46b 100644 (file)
--- a/errors.dat
+++ b/errors.dat
@@ -5,22 +5,23 @@ binary         = This editor is not able to view/edit binary files.
 chprop_root    = You are not allowed to change the properties of the root directory.
 cmd_unknown    = Unknown command: '{COMMAND}'
 copy_failed    = Could not copy '{FILE}' to '{NEW_FILE}'.
 chprop_root    = You are not allowed to change the properties of the root directory.
 cmd_unknown    = Unknown command: '{COMMAND}'
 copy_failed    = Could not copy '{FILE}' to '{NEW_FILE}'.

-create_ar      = You aren't allowed to create files and directories above the virtual root directory.
+create_ar      = You are not allowed to create files and directories above the virtual root directory.

 delete_failed  = Could not delete file '{FILE}'.
 dircopy        = This editor is not able to copy directories.
 delete_failed  = Could not delete file '{FILE}'.
 dircopy        = This editor is not able to copy directories.

-dir_no_create  = You have not enough permissions to create a file in the directory '{DIR}'.
-dir_not_exist  = The directory where you want to create this file or directory doesn't exist.
+dir_no_create  = You have not enough permissions to create a file in directory '{DIR}'.
+dir_not_exist  = The directory where you want to create this file or directory does not exist.

 dir_read_fail  = Reading of directory '{DIR}' failed.
 dir_replace    = You are not allowed to replace a directory.
 edit_failed    = Saving of file '{FILE}' failed. The file could be damaged, please check its integrity.
 editdir        = You cannot edit directories.
 exist_edited   = The target file '{FILE}' already exists and is edited by someone else.
 dir_read_fail  = Reading of directory '{DIR}' failed.
 dir_replace    = You are not allowed to replace a directory.
 edit_failed    = Saving of file '{FILE}' failed. The file could be damaged, please check its integrity.
 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_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} 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.
 file_too_large = The file you want to view or edit is too large (max. {SIZE} 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.

-lock_failed    = Locking of '{USELIST}' failed. Try it again in a moment. If the problem persists, ask someone to recreate the lock file ('{LOCK_FILE}').
+invalid_upload = It seems that something is wrong with the file upload you want to submit.
+lock_failed    = Locking of '{USELIST}' failed. Try it again in a moment. If the problem persists, ask the administrator to check the lock file ('{LOCK_FILE}') and to recreate it if necessary.

 mkdir_failed   = Could not create directory '{DIR}'.
 mkfile_failed  = Could not create file '{FILE}'.
 no_copy        = You have not enough permissions to copy this file.
 mkdir_failed   = Could not create directory '{DIR}'.
 mkfile_failed  = Could not create file '{FILE}'.
 no_copy        = You have not enough permissions to copy this file.


@@ -31,13 +32,16 @@ no_edit        = You have not enough permissions to edit this file.
 no_rename      = You have not enough permissions to move/rename this file.
 no_root_access = You have not enough permissions to access the root directory.
 no_root_dir    = The root directory does not exist or is not a directory.
 no_rename      = You have not enough permissions to move/rename this file.
 no_root_access = You have not enough permissions to access the root directory.
 no_root_dir    = The root directory does not exist or is not a directory.

-no_users       = It seems that your system doesn't support users and groups.
+no_users       = It seems that your system does not support users and groups.

 no_view        = You have not enough permissions to view this file.
 not_exist      = File/directory does not exist.
 no_view        = You have not enough permissions to view this file.
 not_exist      = File/directory does not exist.

-not_owner      = You are not the owner of '{FILE}', so you are not allowed to change the mode and the group.
+not_owner      = You are not the owner of '{FILE}', so you are not allowed to change its mode and its group.

 remove_root    = You are not allowed to remove the root directory.
 rename_failed  = Could not move/rename '{FILE}' to '{NEW_FILE}'.
 rename_root    = You are not allowed to move/rename the root directory.
 remove_root    = You are not allowed to remove the root directory.
 rename_failed  = Could not move/rename '{FILE}' to '{NEW_FILE}'.
 rename_root    = You are not allowed to move/rename the root directory.

-text_to_binary = You aren't allowed to write text data into a binary file.
+text_to_binary = You are not allowed to write text data into a binary file.
+ul_add_failed  = Could not add '{FILE}' to the list of files in use.
+ul_rm_failed   = Could not remove '{FILE}' from the list of files in use. Try it again using the 'unlock' command of Dev-Editor or by removing the file manually from '{USELIST}'.
+unlock_failed  = Unlocking of '{USELIST}' failed. Ask the administrator to check the lock file ('{LOCK_FILE}') and to recreate it if necessary.

 
 # End of configuration file
\ No newline at end of file
 
 # End of configuration file
\ No newline at end of file