Fixing winPlaySound

There doesn't seem to be a straightforward universal way to play a
wav file on Linux. If someone has pulseaudio installed, this command
now simply does a system() call with `paplay ...`. This fails if the
program is not installed, but in any case a True success bool is re-
turned.

Ideally, we wouldn't need system() (which forces us to include
stdlib.h), and would just use a library for this - but I didn't find
one at the moment.

See: http://unix.stackexchange.com/a/8610/37050

0 files changed, 0 insertions, 0 deletions