Lines Matching refs:webSocketServerPID
520 my $webSocketServerPID = 0;1416 $webSocketServerPID = open3(\*WEBSOCKETSERVER_IN, \*WEBSOCKETSERVER_OUT, \*WEBSOCKETSERVER_ERR, $webSocketServerPath, @args);1445 kill 15, $webSocketServerPID;