equal
deleted
inserted
replaced
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(); |