Customizing the Juke Box

The following information may be useful to you if you change the Juke_Box custom server or either of the music players (pl_seg and pl_elem).