Add title in name

2019-05-07 12:55:14 -04:00
parent 03ccc8b2e3
commit ec08e572fb
2 changed files with 4 additions and 1 deletions
--- a/backend/js/ros_scripts.js
+++ b/backend/js/ros_scripts.js
@@ -198,5 +198,8 @@ function getMasterName()
  service.callService(request, function(result) {
    console.log('Master Name = ' + result.host);
    document.getElementById("MasterName").innerHTML = result.host;
+    var title = result.host + " Lab UI"
+    document.title = title;
+    document.getElementById("Title").innerHTML = title;
  });
 }