From 844f569d221fc214808297e6e13f7a33563f2271 Mon Sep 17 00:00:00 2001
From: argent0 <4rgento@gmail.com>
Date: Thu, 19 Jul 2018 14:29:26 -0300
Subject: [PATCH] Using a static generator to generete uuids

This time explicitly writing the type.
---
 rhubarb/src/tools/platformTools.cpp | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/rhubarb/src/tools/platformTools.cpp b/rhubarb/src/tools/platformTools.cpp
index 119d4c3..c6dd4b0 100644
--- a/rhubarb/src/tools/platformTools.cpp
+++ b/rhubarb/src/tools/platformTools.cpp
@@ -57,7 +57,8 @@ path getBinDirectory() {
 
 path getTempFilePath() {
 	path tempDirectory = boost::filesystem::temp_directory_path();
-	string fileName = to_string(boost::uuids::random_generator()());
+	static boost::uuids::random_generator generateUuid;
+        string fileName = to_string(generateUuid());
 	return tempDirectory / fileName;
 }