From b0dafe4739c1498b91d7dc493892e820d5508c2b Mon Sep 17 00:00:00 2001
From: Bill Thiede <Bill Thiede git@xinu.tv>
Date: Fri, 11 Oct 2019 08:05:27 -0700
Subject: [PATCH] Actually disable push metrics when disabled.

---
 rtiow/src/bin/tracer.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/rtiow/src/bin/tracer.rs b/rtiow/src/bin/tracer.rs
index 9c3e3e6..dbb2009 100644
--- a/rtiow/src/bin/tracer.rs
+++ b/rtiow/src/bin/tracer.rs
@@ -42,6 +42,7 @@ fn push_metrics(push_gateway_addr: &str, instance: String, start_time: &DateTime
 
     if push_gateway_addr.is_empty() {
         info!("Logging stats to push gateway disabled");
+        return;
     }
 
     if let Err(err) = prometheus::push_metrics(