[PATCH] Race fix for MIDI, take 2

[Adrian Cox]

Here's my second go at a race fix for drivers/sound/midibuf.c.  Given how
unreliable it was before, I wonder if I was the only person using it.

Please apply.

- Adrian

--- 1.1/drivers/sound/midibuf.c	Sat Jan  6 07:28:25 2001
+++ 1.3/drivers/sound/midibuf.c	Mon Sep 24 10:30:28 2001
@@ -253,13 +253,13 @@
 
 	midi_devs[dev]->close(dev);
 
+	open_devs--;
+	if (open_devs == 0)
+		del_timer_sync(&poll_timer);
 	vfree(midi_in_buf[dev]);
 	vfree(midi_out_buf[dev]);
 	midi_in_buf[dev] = NULL;
 	midi_out_buf[dev] = NULL;
-	if (open_devs < 2)
-		del_timer(&poll_timer);;
-	open_devs--;
 
 	if (midi_devs[dev]->owner)
 		__MOD_DEC_USE_COUNT (midi_devs[dev]->owner);