Exit Indexer if dictionary updater isn't alive when should be, a=chris

Author Chris Pollett <chris@pollett.org>
Author date 2022-08-10 00:Aug:th
Author local date 2022-08-09 17:Aug:th -0700
Committer Chris Pollett <chris@pollett.org>
Committer date 2022-08-10 00:Aug:th
Committer local date 2022-08-09 17:Aug:th -0700
Commit 43bb42518627751dc5dc09d7fc3b8b8836bff77f
Tree 37a4a0dc1f2cd61c5fba23d4c35d79ee7f62c2a3
Parent cce29ca23fb78a55226d84a2518c6fa4887be4ee
Exit Indexer if dictionary updater isn't alive when should be, a=chris
Affected files:
src/executables/ArcTool.php
src/executables/DictionaryUpdater.php
src/executables/QueueServer.php
src/library/PhraseParser.php
ViewGit