On 12/6/2013 7:24 PM, Ehsan Akhgari wrote:
On 12/6/2013, 1:19 PM, Honza Bambas wrote:
On 12/6/2013 6:44 PM, Ehsan Akhgari wrote:
I was talking about filing a bug where we would take the patch that
you attached to the previous email. I don't think any of those bugs
that you referenced is the right place to do that.
Cheers,
Ehsan
My patch is probably not something that should be on by default IMO. It
will create a new log file with .pid as an extension for every process
we start, including the parent (main) process. So it can well fill out
your disk when you are not careful. Also, you can easily get lost among
all those files. Hmm... mach run command could delete or (preferably)
trash them, but still.
On the other hand, that patch is really a must for me personally.
What I was thinking about was that we would only create a log.pid file
for anything that is not the main process.
Ehsan
Something like
https://bug534764.bugzilla.mozilla.org/attachment.cgi?id=481578 ?
(Actually a platform bug)
_______________________________________________
dev-platform mailing list
dev-platform@lists.mozilla.org
https://lists.mozilla.org/listinfo/dev-platform
