minor: Removing DB Servers doesn't clear servoy.properties

Classic Servoy
1

Hi,

Just deleted some DB Servers through developer. Afterwards (closed developer allready) I looked in the servoy.properties and saw something odd.

The “ServerManager.numberOfServers” property had degreased, but I still saw many server.xx.yyyyyyyyyyyy properties, where the xx number was a lot higher than the “ServerManager.numberOfServers” property indicated.

The details of the server.xx properties that are higher than the number of actual servers are not of the removed servers, but are duplicates of still existing servers. Makes sense? (If not, I’ll explain more)

It’s monir, since it doesn’t seem to affect the working of Developer, but I think it’s kind of odd.

Paul

2

Paul,

this has never been otherwise but I agree it is cluttering up the properties file.
Once you know what you do it is nice to edit database connections directly. I sometimes use the wrong database in those cases where there are more properties than one that look the same but are not.

I think this should be filed in the ‘bug base’…