- 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 88be554d19c0b9d1fbe17d41ada7dc0957e02827..8ead289cb744d10e9c89918d43975da80d84b46b 100644 (file)
--- a/errors.dat
+++ b/errors.dat
@@ -40,5 +40,8 @@ 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 are not allowed to write text data into a binary file.
 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 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