gistfile1.diff

diff --git a/src/main.cpp b/src/main.cpp
index a3ec6cc..56cb310 100644
--- a/src/main.cpp
+++ b/src/main.cpp
@@ -1912,6 +1912,10 @@ int main(int argc, char *argv[])
                                                }
                                        }
                                        sound->stopSound(handle);
+                                       if(sound != &dummySoundManager){
+                                               delete sound;
+                                               sound = NULL;
+                                       }
 
                                        infostream<<"Dropping main menu"<<std::endl;