ARGH!

[devedit.git] / errors.dat

diff --git a/errors.dat b/errors.dat
index 10773ac43e54a81eb66cd463fb49b120d020151e..88be554d19c0b9d1fbe17d41ada7dc0957e02827 100644 (file)
--- a/errors.dat
+++ b/errors.dat
@@ -17,11 +17,11 @@ 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} 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 the administrator to create 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.