Issue developing on server

[Harjo]

I have a Servoy server running.
on a other machine I have Servoy developer.
here I changed the repository from local to the server.
All is working fine.
When I change something in Servoy Developer and close it.
and start a client, the changes are not visible. flushen on the server won't help.
The only thing that is working is to completly restart servoy server (in windows under Services)

Is this correct behaviour?

[Jan Blok]

Solution flush should be sufficent, but we detected a small bug in the client side cache which prevents that from flushing ... fixed in Servoy 1.2 Final