Elasticsearch failed at boot - Seafile Pro 7.1.3

Seafile Server
2

Hi there, not sure if it is related, but i had a problem with elasticsearch a while back,

https://forum.seafile.com/t/internal-server-error-on-search/10879

the fix ended up being to delete the elasticsearch.pid file.