[Geoserver-users] Full update of mosaic directory via REST

Re-harvesting a whole directory of a mosaic, as described here:

http://docs.geoserver.org/latest/en/user/rest/examples/curl.html#uploading-and-modifying-a-image-mosaic

doesn't remove any non-existing (deleted) files from the index.

Is it possible to do "full re-harvest" of a mosaic via REST?

Maciej