On 25 апр, 05:09, Peter Kasting <[email protected]> wrote: > On Thu, Apr 23, 2009 at 1:35 PM, Nikita Ofitserov <[email protected]> wrote: > > I suggest: > > Don't try to get pid dynamically, but create on startup in datadir > > file 'ChromePid' or something like that with pid. > > Creating files during startup would slow startup too much. Chrome crashing > would leave a stale PID file lying around, confusing future launches. > > PK
We need to create this file only once, during main process startup, not for every renderer/plugin process. Sorry if I haven't made it clear. I don't think that creating a text file once with one number would slow startup too much. And we don't really care about stale PID file. If future launch will find it there, it will search for process with that pid, then it will try to connect to IPC channel - if either of this fails, it will just continue launch, rewriting the file. So no confusion here. Nikita Ofitserov --~--~---------~--~----~------------~-------~--~----~ Chromium Developers mailing list: [email protected] View archives, change email options, or unsubscribe: http://groups.google.com/group/chromium-dev -~----------~----~----~----~------~----~------~--~---
