+/// timed_wait() waits for msec milliseconds. It is mainly an helper to wrap
+/// conversion from milliseconds to struct timespec, as used by pthreads.
+
+void timed_wait(WaitCondition* sleepCond, Lock* sleepLock, int msec) {
+
+#if defined(_MSC_VER)
+ int tm = msec;
+#else
+ struct timeval t;
+ struct timespec abstime, *tm = &abstime;
+
+ gettimeofday(&t, NULL);
+
+ abstime.tv_sec = t.tv_sec + (msec / 1000);
+ abstime.tv_nsec = (t.tv_usec + (msec % 1000) * 1000) * 1000;
+
+ if (abstime.tv_nsec > 1000000000LL)
+ {
+ abstime.tv_sec += 1;
+ abstime.tv_nsec -= 1000000000LL;
+ }
+#endif
+
+ cond_timedwait(sleepCond, sleepLock, tm);
+}
+
+