play: change the URL of the MIDI sound font

The new URL is smaller than the previous one. I don't know if this commit fixes the issue #23.
moinejf · Sep 1, 2017 · b0aac5d · b0aac5d
1 parent 95107c1
commit b0aac5d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/util/toaudio5.js b/util/toaudio5.js
@@ -179,7 +179,7 @@ function Audio5(i_onend, sf, i_onnote) {
 
 	// instruments/notes
 		sfu =			// soundfont default URL
-    "https://raw.githubusercontent.com/gleitz/midi-js-soundfonts/gh-pages/FluidR3_GM",
+			"http://gleitz.github.io/midi-js-soundfonts/FluidR3_GM/",
 		sft = "js",		// soundfont type:
 					// - "js" midi-js with encoded data structure
 					// - "mp3" midi-js mp3 samples