tree 81916e65d19ffd3f5ff0b25237fbdca5b2961ea4
parent 3b61f9d91b20c92d42777007224132eeb470bb81
author Maxim Dounin <mdounin@mdounin.ru> 1445354178 +0300
committer Maxim Dounin <mdounin@mdounin.ru> 1445354178 +0300

Win32: timer_resolution now ignored with select.

As setitimer() isn't available on Windows, time wasn't updated at all
if timer_resolution was used with the select event method.  Fix is
to ignore timer_resolution in such cases.