From a28b1b8d371152d08e420d1b454d03aab56a7c80 Mon Sep 17 00:00:00 2001
From: nehalmistry <>
Date: Thu, 13 Feb 2003 05:29:16 +0000
Subject: [PATCH] make sure music isn't muted for PlayFile

---
 src/sound/music.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/sound/music.cpp b/src/sound/music.cpp
index 6945963f2..5b319a9ae 100644
--- a/src/sound/music.cpp
+++ b/src/sound/music.cpp
@@ -508,6 +508,7 @@ global void PlayMusic(const char* name)
 */
 global void PlayFile(const char* name)
 {
+    MusicOff = 0;
     PlayMusic(name);
 }