Skip to content
Use gettimeofday to get the time since boost function does not work properly for Summer time