The pico cache may be cleared manually by removing the cache directory. Make sure that no processes that currently uses the cache is running when clearing the cache.
To clear the cache in Unix:
$ rm -rf $MZ_HOME/pico-cache
- To clear the cache in Windows:
Delete the directory pico-cache in the
installation directory.
The next time pico started processes are running, the cache directory will be recreated and populated.