Come inizializzare più Worker su un sistema Windows

Su un sistema Windows non è possibile inizializzare più Worker in un singolo file PHP.

Ad esempio, nel file test.php seguente

<?php
...
$socket_server = new Worker("tcp://0.0.0.0:5555");
$socket_server->on....
$websocket_server = new Worker("websocket://0.0.0.0:6666");
$websocket_server->on....
$webserver = new WebServer("http://0.0.0.0:6666");
$webserver->addRoot(...
...

Avviando su Windows si otterrà un errore

multi workers init in one php file are not support

Soluzione

La soluzione è utilizzare più script di avvio, ognuno per istanziare un Worker, o uno script di avvio per ogni porta.

Considerando l'inizializzazione di due istanze Worker (tcp e websocket) e un'istanza WebServer, saranno necessari tre file di avvio: start_socket_server.php, start_websocket_server.php e start_webserver.php.

Ad esempio:

File start_socket_server.php

...
$socket_server = new Worker("tcp://0.0.0.0:5555");
$socket_server->on....
....

File start_websocket_server.php

...
$websocket_server = new Worker("websocket://0.0.0.0:6666");
$websocket_server->on....
 ...

File start_webserver.php

...
$webserver = new WebServer("http://0.0.0.0:6666");
$webserver->addRoot(...
 ...

All'avvio, è possibile avviare i tre script direttamente, eseguendo il comando seguente nel prompt dei comandi di Windows

php start_socket_server.php start_websocket_server.php start_webserver.php