From: Tobias Markus <tobbi@mozilla-uk.org>
Date: Fri, 20 Mar 2015 16:16:50 +0000 (+0100)
Subject: Fix music not properly fading in again
X-Git-Url: https://git.verplant.org/?a=commitdiff_plain;h=d794aac09d4a3b3f5f93985cd74381bb4de4ce84;p=supertux.git

Fix music not properly fading in again
---

diff --git a/src/audio/sound_manager.cpp b/src/audio/sound_manager.cpp
index 3740d71fe..9141f6f6a 100644
--- a/src/audio/sound_manager.cpp
+++ b/src/audio/sound_manager.cpp
@@ -303,7 +303,7 @@ SoundManager::play_music(const std::string& filename, bool fade)
 void
 SoundManager::pause_music(float fadetime)
 {
-  if(music_source == NULL || !music_source->playing())
+  if(music_source == NULL)
     return;
 
   if(fadetime > 0) {
@@ -318,7 +318,7 @@ SoundManager::pause_music(float fadetime)
 void
 SoundManager::resume_music(float fadetime)
 {
-  if(music_source == NULL || !music_source->paused())
+  if(music_source == NULL)
     return;
 
   if(fadetime > 0) {