Warning: session_start(): open(/var/lib/php/sessions/sess_9svrvrd0odjdnupkuoqt4tfpnf, 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
sclass RunResultWithTimestamps extends OKOrError {
settable Timestamp started;
settable Timestamp ended;
settable CharSequence printOutput;
selfType run(IF0 f, bool printStackTrace default true) {
ret setPrintOutput(hijackPrint_tee(r {
started(tsNow());
copyFrom(okOrError(f));
ended(tsNow());
}));
}
bool hasRun() { ret ended != null; }
// legacy
OKOrError result() { this; }
Duration duration() { ret ended.minusAsDuration(started); }
S renderDuration() {
ret formatElapsedTimeWithAppropriateUnit(nanosToSeconds(duration().toNanos()));
}
}