add command to shut down a worker
[phinde.git] / bin / process.php
2016-11-07 Christian WeiskeBig patch merging crawling+indexing into one command...