# HG changeset patch # User drewp # Date 1453451975 28800 # Node ID 208b960fde31827d182f064f80501fb3fa92e170 # Parent 8e075449ba0a7c97dc1dcf5ff3e8ad0b217bc8ef hostname in page title Ignore-this: 84be0d921c173a4c2c154d6a65e15add darcs-hash:3e14370d849be2c6c0d30db8f7c575e4433bfda7 diff -r 8e075449ba0a -r 208b960fde31 service/arduinoNode/arduinoNode.py --- a/service/arduinoNode/arduinoNode.py Mon Jan 18 22:43:22 2016 -0800 +++ b/service/arduinoNode/arduinoNode.py Fri Jan 22 00:39:35 2016 -0800 @@ -400,6 +400,7 @@ self.set_header('Content-type', 'application/json') self.write(json.dumps({ + 'host': socket.gethostname(), 'boards': [b.description() for b in self.settings.boards] }, indent=2)) diff -r 8e075449ba0a -r 208b960fde31 service/arduinoNode/static/index.html --- a/service/arduinoNode/static/index.html Mon Jan 18 22:43:22 2016 -0800 +++ b/service/arduinoNode/static/index.html Fri Jan 22 00:39:35 2016 -0800 @@ -1,7 +1,7 @@ - arduinoNode + arduinoNode - @@ -153,6 +153,12 @@ HTMLImports.whenReady(function () { Polymer({ is: 'arduinonode-boards', + properties: { + ret: { type: Object, notify: true, observer: 'onBoards' } + }, + onBoards: function() { + document.title = document.title + ' ' + this.ret.host; + }, behaviors: [BigastUri] }); });