@@ -96,7 +96,7 @@ double cputime()
getrusage(RUSAGE_SELF, &r);
return r.ru_utime.tv_sec + r.ru_stime.tv_sec + 1e-6 * (r.ru_utime.tv_usec + r.ru_stime.tv_usec);
}
#endif /* WIN32 */
#endif /* WIN32 || _WIN32 */
double realtime()
{
The note is not visible to the blocked user.