webman如何设置session_id

use Workerman\Protocols\Http\Session;

$session_id = '123456789';
$session = new Session($session_id);