Fix single digit day in engine_name()

[stockfish] / src / misc.cpp

diff --git a/src/misc.cpp b/src/misc.cpp
index 6ee65bf61d9a95fd5b012f86e9b0df542f33ed48..07d58d637fb9fbc33b33509ed3212ca3b6246011 100644 (file)
--- a/src/misc.cpp
+++ b/src/misc.cpp
@@ -71,19 +71,21 @@ void dbg_print_hit_rate() {
 const std::string engine_name() {
 
   if (EngineVersion.empty())
-  {      
+  {
       std::string date(__DATE__); // From compiler, format is "Sep 21 2008"
       std::string months("Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec");
 
       size_t mon = 1 + months.find(date.substr(0, 3)) / 4;
 
       std::stringstream s;
-      s << "Glaurung " << date.substr(date.length() - 2) << std::setfill('0')
-        << std::setw(2) << mon << date.substr(4, 2);
+      std::string day = (date[4] == ' ' ? date.substr(5, 1) : date.substr(4, 2));
+
+      s << "Glaurung clone " << date.substr(date.length() - 2) << std::setfill('0')
+        << std::setw(2) << mon << std::setw(2) << day;
 
       return s.str();
   } else
-      return "Glaurung " + EngineVersion;
+      return "Glaurung clone " + EngineVersion;
 }