Warning: session_start(): open(/var/lib/php/sessions/sess_t8f2p87rjfbopa2b7cub176e35, O_RDWR) failed: No space left on device (28) in /var/www/tb-usercake/models/config.php on line 51

Warning: session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in /var/www/tb-usercake/models/config.php on line 51
svoid stepAllWithStats(Steppable s, Long maxSteps default null) { if (s == null) ret; long n = 0; long time = sysNow(); if (maxSteps == null) while ping (s.step()) ++n; else while ping (n < maxSteps && s.step()) ++n; time = sysNow()-time; print(n2(n, "step") + " in " + n2(time) + " ms"); }