Set the new pid

2021-01-05 21:39:53 +00:00
parent 2f8e873cc7
commit 6ef0f9646f
2 changed files with 12 additions and 0 deletions
--- a/src/Core/Process.php
+++ b/src/Core/Process.php
@@ -77,6 +77,17 @@ class Process
 		$this->pid = $pid;
 	}

+	/**
+	 * Set the process id
+	 *
+	 * @param integer $pid
+	 * @return void
+	 */
+	public function setPid(int $pid)
+	{
+		$this->pid = $pid;
+	}
+
 	/**
 	 * Log active processes into the "process" table
 	 */