<?php

namespace App;

use JumPHP\Tauri\App;
use JumPHP\Tauri\AppMain;

/**
 * JumPHP Screen, PHP side: almost nothing. The page (ui/js/app.js) does the work in the browser: the encrypted pairing channel
 * (ui/js/channel.js, the same file as the JumPHP IDE's), WebRTC (the browser's RTCPeerConnection: the video and the input data
 * channel go peer to peer with the PC), the touch gestures and the keyboard. PHP only tells the page its settings.
 */
final class Main implements AppMain
{
    public const RELAY = 'wss://jumphp.net/ide-relay/ws';

    public function boot(App $app): void
    {
        $app->command('settings', fn (mixed $p): array => [
            'relay_url' => (string)($app->config->get('screen_relay_url') ?? self::RELAY),
            'version' => (string)$app->config->get('version'),
        ]);
    }
}