Just a second...

PUSH-000717

Failed to delete persistence temporary directory {}.

Description

Persistence service temporary files could not be deleted on server closedown. Large files might remain in the 'tmp' directory within the persistence directory. You can delete the files manually to recover file system space. They will be deleted automatically when the server is restarted with persistence enabled.