DO NOT MODIFY Readme
DO NOT MODIFY Readme
DO NOT MODIFY Readme
When the server is not running, you can do what you want, including clearing
out all the cached files by deleting the resource-cache directory.
(It will get recreated when the server is next started)
---------------------------------------------------------------------------