diff -r cf0f23803a53 -r 2dba812c7ef2 server/src/app/Console/Commands/IndexDocuments.php
--- a/server/src/app/Console/Commands/IndexDocuments.php	Wed Nov 09 15:05:41 2016 +0100
+++ b/server/src/app/Console/Commands/IndexDocuments.php	Wed Nov 09 23:41:15 2016 +0100
@@ -616,7 +616,7 @@
         $progressBar->setFormat(' %current%/%max% [%bar%] %percent:3s%% - %message%');
 
         $page = 0;
-        $lastPage = PHP_INT_MAX;
+        $lastPage = 2147483647;
         $docIds = [];
 
         while($page++<$lastPage) {