Files
rkt-web-player/player-agent.rkt
T
2026-08-27 10:24:40 +02:00

17 lines
550 B
Racket

#lang racket/base
(provide run-player-agent)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
; goal : Start the graphical polling playback agent.
; pre : A graphical desktop is available.
; post : The agent remains active until its window is closed.
; result : The GUI frame returned by the implementation.
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
(define (run-player-agent)
((dynamic-require "private/player-agent-gui.rkt"
'run-player-agent-gui)))
(module+ main
(run-player-agent))