chiark / gitweb /
server: setting playing and random-play global prefs now works
authorRichard Kettlewell <rjk@terraraq.org.uk>
Sun, 31 Jul 2011 13:43:15 +0000 (14:43 +0100)
committerRichard Kettlewell <rjk@terraraq.org.uk>
Sun, 31 Jul 2011 13:43:15 +0000 (14:43 +0100)
commit9439cdabec3e4c1d29e4366f9b654ef27eb2c586
tree26b9ad424a1ddcad7674e1ce1d08358ef05ed938
parente5cce183ca0d2299e8089d15e823179990cfb993
server: setting playing and random-play global prefs now works
properly.

Formerly the global prefs would be changed but the other actions
required to switch state properly were not carried out.  This was
documented, making it a design flaw rather than an implementation
error.
doc/disorder_preferences.5.in
server/disorder-server.h
server/play.c
server/server.c