equal
deleted
inserted
replaced
151 static Date last_date = 0; |
151 static Date last_date = 0; |
152 |
152 |
153 // some statistics |
153 // some statistics |
154 if (last_date != _date) { |
154 if (last_date != _date) { |
155 last_date = _date; |
155 last_date = _date; |
156 DEBUG(yapf, 1)("pf time today:%5d ms\n", _total_pf_time_us / 1000); |
156 DEBUG(yapf, 1) ("pf time today:%5d ms", _total_pf_time_us / 1000); |
157 _total_pf_time_us = 0; |
157 _total_pf_time_us = 0; |
158 } |
158 } |
159 |
159 |
160 Cache*& pC = stGlobalCachePtr(); |
160 Cache*& pC = stGlobalCachePtr(); |
161 |
161 |