Add timestamp to JSON and XML messages

Author: peterschrammel

src/util/ui_message.cpp

@@ -244,6 +244,9 @@ void ui_message_handlert::xml_ui_msg(
 
   result.new_element("text").data=msg1;
   result.set_attribute("type", type);
+  const std::string timestamp = time->stamp();
+  if(!timestamp.empty())
+    result.set_attribute("timestamp", timestamp);
 
   std::cout << result;
   std::cout << '\n';
@@ -263,6 +266,9 @@ void ui_message_handlert::json_ui_msg(
 
   result["messageType"] = json_stringt(type);
   result["messageText"] = json_stringt(msg1);
+  const std::string timestamp = time->stamp();
+  if(!timestamp.empty())
+    result["timestamp"] = json_stringt(timestamp);
 
   // By convention a leading comma is created by every new array entry.
   // The first entry is generated in the constructor and does not have