historic_bruno a63ed4e4c4 Fixes rare crash in sound manager, due to worker thread dereferencing global pointer before it had been assigned. Fixes #2333, refs #2387, #2317. ... Fixes potential infinite loop if worker thread was running but not enabled. Fixes apparent bug in fading sound smoothness. Cleans up worker class slightly. Cleans up weird and inconsistent whitespace. This was SVN commit r15269.		2014-06-02 02:09:58 +00:00
..
data	add UI sound channel, clean up external interface and javascript calls	2013-06-10 13:58:43 +00:00
items	Fix build warnings. Patch by Markus. Refs #1851.	2013-06-11 00:05:57 +00:00
scripting	Slightly better options menu.	2014-02-20 22:45:43 +00:00
ISoundManager.h	Fixes rare crash in sound manager, due to worker thread dereferencing global pointer before it had been assigned. Fixes #2333, refs #2387, #2317.	2014-06-02 02:09:58 +00:00
SoundManager.cpp	Fixes rare crash in sound manager, due to worker thread dereferencing global pointer before it had been assigned. Fixes #2333, refs #2387, #2317.	2014-06-02 02:09:58 +00:00
SoundManager.h	Fixes rare crash in sound manager, due to worker thread dereferencing global pointer before it had been assigned. Fixes #2333, refs #2387, #2317.	2014-06-02 02:09:58 +00:00