Example #1
0
function websocket()
{
    $websocket = array();
    $websocket['socket'] = array();
    $websocket['status'] = array(WEBSOCKET_NEW);
    $websocket['buf'] = array("");
    websocket_set_address($websocket, "0.0.0.0");
    websocket_set_port($websocket, 1234);
    websocket_set_message_limit($websocket, 1000);
    websocket_on_client($websocket, function ($ws, $client) {
    });
    websocket_on_message($websocket, function ($ws, $client, $data) {
    });
    websocket_on_close($websocket, function ($ws, $client) {
    });
    return $websocket;
}
Example #2
0
    }
} else {
    if (isset($_REQUEST) && isset($_REQUEST['port'])) {
        $port = (int) $_REQUEST['port'];
    }
}
// =============================================================================
$database = pg_connect("dbname=cadist3d_db user=cadist3d");
pg_set_error_verbosity($database, PGSQL_ERRORS_VERBOSE);
// =============================================================================
// get algorithm weights from database
use_algorithm_weights(get_algorithm_weights());
// =============================================================================
$websocket = websocket();
websocket_set_port($websocket, $port);
websocket_set_message_limit($websocket, $maxMessageSize);
websocket_on_client($websocket, 'handle_client');
websocket_on_message($websocket, 'handle_message');
websocket_on_close($websocket, 'handle_close');
console("===\nServer started on port {$port}\n\n");
websocket_run($websocket);
if (isset($websocket['error'])) {
    console("=## Error: " . $websocket['error']);
}
pg_close($database);
console("===");
$console_enabled = TRUE;
console("Server terminated");
// =============================================================================
$client_names = array();
$client_numbers = array();