Shark PID files in tmp folder?!

Hi there,

We noticed that the Shark PID files are not stored under /var/run , but in
/tmp which causes problems with shark servers that die every once in a
while once a cronjob cleans up those folders.

The easiest way of course is for us to update the cron script and update
shark, however I think the real solution would be to modify the default
behavior of shark. As it is now using a file in a temporary folder, which
should not make the application crash once it is being removed.

What do you think?

Best regards,

Robin Verlangen
Chief Data Architect

W http://www.robinverlangen.nl
E robin@us2.nl

http://goo.gl/Lt7BC
What is CloudPelican? http://goo.gl/HkB3D

Disclaimer: The information contained in this message and attachments is
intended solely for the attention and use of the named addressee and may be
confidential. If you are not the intended recipient, you are reminded that
the information remains the property of the sender. You must not use,
disclose, distribute, copy, print or rely on this e-mail. If you have
received this message in error, please contact the sender immediately and
irrevocably delete this message and any copies.

--
You received this message because you are subscribed to the Google Groups "elasticsearch" group.
To unsubscribe from this group and stop receiving emails from it, send an email to elasticsearch+unsubscribe@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/elasticsearch/CADVHTB_FFX%3DK1oOOaZJvrTvtbQL1iGr%3DNaurceWnh2NTB5VPAw%40mail.gmail.com.
For more options, visit https://groups.google.com/groups/opt_out.

Not sure what shark pid files are, but yes, you are right, pid files belong
under /var/run/ and not /tmp

Jörg

--
You received this message because you are subscribed to the Google Groups "elasticsearch" group.
To unsubscribe from this group and stop receiving emails from it, send an email to elasticsearch+unsubscribe@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/elasticsearch/CAKdsXoHcaEts_rG954vTyAdJVExRZNkGLdM8Vj0R9-Ws_F2g4w%40mail.gmail.com.
For more options, visit https://groups.google.com/groups/opt_out.