diff options
| author | nOOb3167 <nOOb3167@gmail.com> | 2018-03-26 17:44:40 +0200 |
|---|---|---|
| committer | SmallJoker <SmallJoker@users.noreply.github.com> | 2018-03-26 17:44:40 +0200 |
| commit | b0fef16a27b0ec28b6d3a9e9e617da173dc795af (patch) | |
| tree | 99f8deb775e9a0452d71efef8f590298d9ff58e8 | |
| parent | 9802e59724ac05e7304f9fbd4c93204f7bd00a3d (diff) | |
| download | minetest-b0fef16a27b0ec28b6d3a9e9e617da173dc795af.tar.gz minetest-b0fef16a27b0ec28b6d3a9e9e617da173dc795af.tar.bz2 minetest-b0fef16a27b0ec28b6d3a9e9e617da173dc795af.zip | |
Guard sound manager initialization with "enable_sound" (#7167)
| -rw-r--r-- | src/gui/guiEngine.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/gui/guiEngine.cpp b/src/gui/guiEngine.cpp index 7654bf7b3..3a41df9a5 100644 --- a/src/gui/guiEngine.cpp +++ b/src/gui/guiEngine.cpp @@ -137,7 +137,8 @@ GUIEngine::GUIEngine(JoystickController *joystick, //create soundmanager MenuMusicFetcher soundfetcher; #if USE_SOUND - m_sound_manager = createOpenALSoundManager(g_sound_manager_singleton.get(), &soundfetcher); + if (g_settings->getBool("enable_sound")) + m_sound_manager = createOpenALSoundManager(g_sound_manager_singleton.get(), &soundfetcher); #endif if(!m_sound_manager) m_sound_manager = &dummySoundManager; |