server/src/app/Console/Commands/IndexDocuments.php
changeset 407 2dba812c7ef2
parent 406 cf0f23803a53
child 496 a53762d61c06
equal deleted inserted replaced
406:cf0f23803a53 407:2dba812c7ef2
   614 
   614 
   615         $progressBar = $this->output->createProgressBar($total);
   615         $progressBar = $this->output->createProgressBar($total);
   616         $progressBar->setFormat(' %current%/%max% [%bar%] %percent:3s%% - %message%');
   616         $progressBar->setFormat(' %current%/%max% [%bar%] %percent:3s%% - %message%');
   617 
   617 
   618         $page = 0;
   618         $page = 0;
   619         $lastPage = PHP_INT_MAX;
   619         $lastPage = 2147483647;
   620         $docIds = [];
   620         $docIds = [];
   621 
   621 
   622         while($page++<$lastPage) {
   622         while($page++<$lastPage) {
   623             $docsPaginator = $this->documentRepository->paginate(null, $stepSize, config('corpusparole.pagination_page_param'), $page, "_graph");
   623             $docsPaginator = $this->documentRepository->paginate(null, $stepSize, config('corpusparole.pagination_page_param'), $page, "_graph");
   624             $lastPage = $docsPaginator->lastPage();
   624             $lastPage = $docsPaginator->lastPage();