Browse Source

fix size data type conversion

main
yggverse 8 months ago
parent
commit
f8c8aacf95
  1. 4
      src/cli/document/crawl.php

4
src/cli/document/crawl.php

@ -298,6 +298,10 @@ foreach($index->search('')
// Update size or skip on empty // Update size or skip on empty
if ($size = curl_getinfo($request, CURLINFO_SIZE_DOWNLOAD)) if ($size = curl_getinfo($request, CURLINFO_SIZE_DOWNLOAD))
{ {
$size = round( // float
$size
);
$data['size'] = $size; $data['size'] = $size;
} else continue; } else continue;

Loading…
Cancel
Save