chiark / gitweb /
server: setting playing and random-play global prefs now works