Searched refs:WAITTIME (Results 1 – 1 of 1) sorted by relevance
67 const double WAITTIME = 0.1; // in seconds, i.e. 100 ms variable68 const double THRESHOLD = WAITTIME/100;79 static double minimal_waittime = WAITTIME,80 maximal_waittime = WAITTIME * 10;