On Thu, Apr 23, 2009 at 1:35 PM, Nikita Ofitserov <himi...@gmail.com> 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
--~--~---------~--~----~------------~-------~--~----~
Chromium Developers mailing list: chromium-dev@googlegroups.com
View archives, change email options, or unsubscribe:
http://groups.google.com/group/chromium-dev
-~----------~----~----~----~------~----~------~--~---
