pid file deleted briefly when doing hot restart
betelgeuse at gentoo.org
Tue Nov 27 16:11:40 UTC 2012
On 27.11.2012 4.02, Eric Wong wrote:
> Petteri Räty <betelgeuse at gentoo.org> wrote:
>> On 27.11.2012 2.35, Eric Wong wrote:
>>>> nginx does not explicitly unlink the old pid file before it renames it
>>>> out of the way so yes matching nginx in that regard changes the behavior
>>>> exactly how I originally asked but you were against that. Maybe the
>>>> point is moot though.
>>> Ah, I thought you wanted the pid file to be replaced without
>>> a window where the file is non-existent (or empty).
>> That would be ideal but I meant this thread to be explicitly about the
>> unlink and resulting couple seconds window. Now that I have spend some
>> thinking about the issue here's an approach using hard links that can be
>> used to replace the pid without window of non-existance:
> Yes, this is ideal, but unfortunately, the window of non-existence is
> necessary for compatibility with some existing (nginx-based) scripts.
Can you point out what those scripts are?
More information about the mongrel-unicorn