Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Map project file not deleted from file system fix locationtech [bug-168] #237
Is it worth to have feedback like this or does it makes sense to avoid this logging-entry to avoid confusions?
Concerning the logging I do not think it is completely useless. It is logged at INFO level and may also occur in the case a new project exists without a map or other resource beneath. I opt for keeping it as is.