view osdep/gettimeofday.c @ 12796:24075685789b

This fixes the problems that originated from my ewmh fs patch, caused by a different handling of the wm's ewmh fs implementations. Patch by Alexander Strasser

#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