Better detection for file changes when reloading

- Added file_deleted message
This commit is contained in:
Frank van der Heijden 2020-06-27 11:47:20 +02:00
parent c2049503a7
commit 518ee782da
No known key found for this signature in database
GPG key ID: 26DA56488D314D11
3 changed files with 24 additions and 13 deletions

View file

@ -9,7 +9,7 @@ public enum Result {
ALREADY_LOADED,
ALREADY_ENABLED,
ALREADY_DISABLED,
FILE_CHANGED,
FILE_DELETED,
INVALID_DESCRIPTION,
INVALID_PLUGIN,
UNKNOWN_DEPENDENCY,