view osdep/gettimeofday.c @ 14181:6ecf5fca82e2

Fixes the bug that after opening the preferences panel gmplayer plays files very slowly. Seems this was because it used a 4 byte cache afterwards...
author reimar
date Sat, 18 Dec 2004 10:30:17 +0000
parents 5c639ec8c39e
children 08cac43f1e38
line wrap: on
line source

#include "../config.h"

#ifndef HAVE_GETTIMEOFDAY
#include <sys/time.h>
#include <sys/timeb.h>
void gettimeofday(struct timeval* t,void* timezone)
{       struct timeb timebuffer;
        ftime( &timebuffer );
        t->tv_sec=timebuffer.time;
        t->tv_usec=1000*timebuffer.millitm;
}
#endif