convert the timer API to print some useful cookie information
authorHannes Gredler <hannes@gredler.at>
Mon, 28 Apr 2008 19:04:06 +0000 (21:04 +0200)
committerHannes Gredler <hannes@gredler.at>
Mon, 28 Apr 2008 19:04:06 +0000 (21:04 +0200)
commit8e79205f4a6dfc640441f027a8f6423eaa2ca08c
treeb1ddcd4eef0908338e3675a35e488de5621e7dc9
parentfa70e5397d191f87adc687bdb4fc5d60003e46a2
convert the timer API to print some useful cookie information
src/scheduler.c