Flush Server'cache
use 'dbcache flush' to empty it.
use 'dbcache desable' to empty and desable cache (you 've to stop&go your
server to enable it again !!)
R4.* & R5
It's J. Deniau who say it to me and it's usefull when you want to delete or
rename an database hold by the server