From: Florian Forster <octo@collectd.org>
Date: Fri, 17 May 2013 14:44:02 +0000 (+0200)
Subject: mic plugin: Fix indentation issue.
X-Git-Tag: collectd-5.4.0~42^2~1
X-Git-Url: https://git.verplant.org/?a=commitdiff_plain;h=48edaa10898a8879083819f601a5a86606bd19fa;p=collectd.git

mic plugin: Fix indentation issue.
---

diff --git a/src/mic.c b/src/mic.c
index ec92c8be..570da51b 100644
--- 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);
 }