Merge #24: Don't print a dash if thread name is not known

570db83 Don't print a dash if thread name is not known (Vasil Dimov)

Pull request description:

  Normally `ThreadName()` should return `programname-PID/threadname-TID`,
  but if the thread name is not known it would return
  `programname-PID/-TID`. Change it to return
  `programname-PID/TID` instead.

Top commit has no ACKs.

Tree-SHA512: 06c5b85c4f8edc800e37b54c6153c6eb63b34508b93dd75c8e5f06186bda4a4e2b69504b0ec478772db20067de311bc5abc777ef7980c87c228c4ee049d7310a

Author: ryanofsky

src/mp/util.cpp

@@ -51,7 +51,11 @@ std::string ThreadName(const char* exe_name)
 #endif // HAVE_PTHREAD_GETNAME_NP
 
     std::ostringstream buffer;
-    buffer << (exe_name ? exe_name : "") << "-" << getpid() << "/" << thread_name << "-";
+    buffer << (exe_name ? exe_name : "") << "-" << getpid() << "/";
+
+    if (thread_name[0] != '\0') {
+        buffer << thread_name << "-";
+    }
 
     // Prefer platform specific thread ids over the standard C++11 ones because
     // the former are shorter and are the same as what gdb prints "LWP ...".