raise memory limit on ArcTool, remove delete dectionary.log code, a=chris

Chris Pollett [2022-08-08 21:Aug:th]
raise memory limit on ArcTool, remove delete dectionary.log code, a=chris
Filename
src/configs/Config.php
src/executables/ArcTool.php
src/library/IndexDocumentBundle.php
diff --git a/src/configs/Config.php b/src/configs/Config.php
index eb09cada4..ac9d72811 100755
--- a/src/configs/Config.php
+++ b/src/configs/Config.php
@@ -792,7 +792,7 @@ nsconddefine('MIRROR_MEMORY_LIMIT', ceil(MEMORY_PROFILE/2) ."000M");
 /** Max memory a ClassifierTrainer can use */
 nsconddefine('CLASSIFIER_TRAINER_LIMIT', ceil(MEMORY_PROFILE/4) ."000M");
 /** Max memory a QueueServer can use */
-nsconddefine('ARC_TOOL_MEMORY_LIMIT', (2 * MEMORY_PROFILE) . "000M");
+nsconddefine('ARC_TOOL_MEMORY_LIMIT', (3 * MEMORY_PROFILE) . "000M");
 /** Max memory a TokenTool can use */
 nsconddefine('TOKEN_TOOL_MEMORY_LIMIT', ceil(MEMORY_PROFILE/2) . "000M");
 /** Used to control fraction of memory filled of current process
diff --git a/src/executables/ArcTool.php b/src/executables/ArcTool.php
index ca9897095..8beeafb39 100755
--- a/src/executables/ArcTool.php
+++ b/src/executables/ArcTool.php
@@ -1185,9 +1185,6 @@ EOD;
         $next_partition = $start_generation;
         $continue = false;
         $dictionary_log = C\LOG_DIR . "/0-DictionaryUpdater.log";
-        if (file_exists($dictionary_log)) {
-            file_put_contents($dictionary_log, "");
-        }
         while ($next_partition < $save_partition) {
             if ($old_next_partition != $next_partition) {
                 $old_next_partition = $next_partition;
diff --git a/src/library/IndexDocumentBundle.php b/src/library/IndexDocumentBundle.php
index 27739bd8a..2df17689f 100644
--- a/src/library/IndexDocumentBundle.php
+++ b/src/library/IndexDocumentBundle.php
@@ -1463,7 +1463,7 @@ class IndexDocumentBundle implements CrawlConstants
         if (!is_array($table_info)) {
             $table_info = [];
         }
-        $info = array_merge($table_info, $info);;
+        $info = array_merge($table_info, $info);
         return $info;
     }
     /**
ViewGit