X-Git-Url: https://git.p6c8.net/devedit.git/blobdiff_plain/7897c609d415e2362b8c42c3b918a7ebcb5c4bda..cd639d72ba42aa0aa966729d41be24eb050aa0fc:/errors.dat diff --git a/errors.dat b/errors.dat index 88be554..8ead289 100644 --- 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. +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