Fix for the slow spawning of workers

2018-05-14 05:02:18 +00:00
parent f937dabc9e
commit f1b5e828db
2 changed files with 1 additions and 12 deletions
--- a/src/Core/Worker.php
+++ b/src/Core/Worker.php
@@ -999,6 +999,7 @@ class Worker
 	}

 	/**
+	 * @brief Spawns a new worker
 	 * @return void
 	 */
 	public static function spawnWorker()