cli player agent added

2026-08-27 17:10:33 +02:00
parent 87cb67cf87
commit 344be19521
10 changed files with 896 additions and 624 deletions
@@ -70,3 +70,14 @@ plays them with @tt{racket-audio}. Its configured display name is authoritative
 and is followed by the server. Importing the module does not start the GUI; the
 function must be called explicitly.
 }
+
+@defproc[(run-player-agent-cli [#:server-url server-url
+                                (or/c string? #f) #f]
+                               [#:name name (or/c string? #f) #f]
+                               [#:config-file config-file
+                                (or/c path-string? #f) #f]) void?] {
+
+Starts a headless playback agent using the same audio and gapless-prefetch
+runtime as the GUI. Missing keyword values are read from the normal agent INI
+file. The procedure runs until interrupted.
+}