Merge pull request #155 from tklab-tud/sradomski

More performant monitors with slight API break

1 files changed, 21 insertions, 21 deletions

diff --git a/src/uscxml/debug/Benchmark.cpp b/src/uscxml/debug/Benchmark.cpp
index 0d2d789..b529bb4 100644
--- a/src/uscxml/debug/Benchmark.cpp
+++ b/src/uscxml/debug/Benchmark.cpp
@@ -23,33 +23,33 @@ namespace uscxml {
 
 std::mutex Benchmark::benchMutex;
 std::map<std::string, size_t> Benchmark::benchmarks;
-    
+
 Benchmark::Benchmark(const std::string& domain) : domain(domain), started(std::chrono::system_clock::now()) {
 }
 
 Benchmark::~Benchmark() {
-    std::lock_guard<std::mutex> lock(benchMutex);
-    benchmarks[domain] += std::chrono::duration_cast<std::chrono::microseconds>(std::chrono::system_clock::now() - started).count();
+	std::lock_guard<std::mutex> lock(benchMutex);
+	benchmarks[domain] += std::chrono::duration_cast<std::chrono::microseconds>(std::chrono::system_clock::now() - started).count();
 }
- 
+
 std::ostream& Benchmark::report(std::ostream& stream) {
-    std::lock_guard<std::mutex> lock(benchMutex);
-
-    size_t longestDomain = 0;
-    for (auto benchmark : benchmarks) {
-        longestDomain = (benchmark.first.size() > longestDomain ? benchmark.first.size() : longestDomain);
-    }
-    longestDomain += 8;
-    
-    for (auto benchmark : benchmarks) {
-        std::string padding;
-        for (int i = benchmark.first.size(); i < (longestDomain - log10(benchmark.second)); i++) {
-            padding += " ";
-        }
-        
-        stream << benchmark.first << ":" << padding << (double)benchmark.second / 1000.0 << "ms" << std::endl;
-    }
-    return stream;
+	std::lock_guard<std::mutex> lock(benchMutex);
+
+	size_t longestDomain = 0;
+	for (auto benchmark : benchmarks) {
+		longestDomain = (benchmark.first.size() > longestDomain ? benchmark.first.size() : longestDomain);
+	}
+	longestDomain += 8;
+
+	for (auto benchmark : benchmarks) {
+		std::string padding;
+		for (int i = benchmark.first.size(); i < (longestDomain - log10(benchmark.second)); i++) {
+			padding += " ";
+		}
+
+		stream << benchmark.first << ":" << padding << (double)benchmark.second / 1000.0 << "ms" << std::endl;
+	}
+	return stream;
 }
 
 }