Rename the global variable ``ticks''

2016-03-19 Thread Martin Pieuchot
``ticks'' is in my opinion a really badly named global variable. But we all know that finding names is hard ;) Since its popularity seems to be really high lately, I'd suggest to rename it. I chose ``hcticks'' for "hardclock ticks". I believe this would help auditing the possible existing

Re: Rename the global variable ``ticks''

2016-03-19 Thread Mark Kettenis
> Date: Thu, 17 Mar 2016 21:02:03 +0100 > From: Martin Pieuchot > > ``ticks'' is in my opinion a really badly named global variable. But we > all know that finding names is hard ;) > > Since its popularity seems to be really high lately, I'd suggest to > rename it. I chose

Re: Rename the global variable ``ticks''

2016-03-19 Thread Alexandre Ratchov
On Thu, Mar 17, 2016 at 09:02:03PM +0100, Martin Pieuchot wrote: > ``ticks'' is in my opinion a really badly named global variable. But we > all know that finding names is hard ;) > > Since its popularity seems to be really high lately, I'd suggest to > rename it. I chose ``hcticks'' for