mic plugin: Fix indentation issue.

diff --git a/src/mic.c b/src/mic.c
index ec92c8bee0b0bf8881b9eeee3d71bcbcd0656681..570da51bcfd56c20296effdd64e570e3ff9eb6b9 100644 (file)
--- a/src/mic.c
+++ b/src/mic.c
@@ -398,7 +398,9 @@ static int mic_read (void)
 static int mic_shutdown (void)
 {
        if (mic_handle)
-       MicCloseAPI(&mic_handle);
+               MicCloseAPI(&mic_handle);
+       mic_handle = NULL;
+
        return (0);
 }