# HG changeset patch # User drewp@bigasterisk.com # Date 1453451975 28800 # Node ID e606f1d89d89d669c5fa2e4bee86671dbf27d2e2 # Parent 666e0e756ce629fb8e78ddc82d435f9f6d659268 hostname in page title Ignore-this: 84be0d921c173a4c2c154d6a65e15add diff -r 666e0e756ce6 -r e606f1d89d89 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 666e0e756ce6 -r e606f1d89d89 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 @@
-