I'm still wondering about this.
I'm trying to change a server and it's not working.
I stop the server, wait 15 minutes.
Delete old files, copy the new files, wait 15 minutes.
Restart the server, and it's using the old files.
How long do I have to wait? Is there any trick I'm missing? I'm literally wasting hours with all the waiting trying this repeatedly.