record-page-timings ( url spider-result -- )

Vocabulary

spider.report

Inputs

url	an object
spider-result	an object

Outputs

None

Definition

USING: accessors arrays namespaces sequences ;

IN: spider.report

: record-page-timings ( url spider-result -- )
    fetched-in>> 2array timings get push ;