Mercurial > code > home > repos > homeauto

annotate lib/homeauto_anynode/static/index.html @ 660:e3af8cc7235d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
try new graph+view widget Ignore-this: d5f9c5dc52f04324368716ba2f604fdb
author drewp@bigasterisk.com
date Sun, 24 Nov 2019 00:01:00 -0800
parents ab762d49cd38
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
170
376599552a4c polymer board debug page with working output widgets
drewp@bigasterisk.com
parents:
diff changeset
1 <!doctype html>
376599552a4c polymer board debug page with working output widgets
drewp@bigasterisk.com
parents:
diff changeset
2 <html>
376599552a4c polymer board debug page with working output widgets
drewp@bigasterisk.com
parents:
diff changeset
3 <head>
233
4ebb5cc30002 server/browser graph sync. cut dependency on the WS version. merge some changes between arduino/pi code.
drewp@bigasterisk.com
parents: 228
diff changeset
4 <title>ha - </title>
616
ef9b9c48463d partial style redo. standardize ns setup
drewp@bigasterisk.com
parents: 614
diff changeset
5 <meta charset="utf-8">
193
960b3b4cdd29 rewrite to polymer 1
drewp@bigasterisk.com
parents: 187
diff changeset
6 <script src="/lib/polymer/1.0.9/webcomponentsjs/webcomponents.min.js"></script>
319
d4a602576170 requirejs config for streamed-graph to use
drewp@bigasterisk.com
parents: 233
diff changeset
7 <script src="/lib/require/require-2.3.3.js"></script>
616
ef9b9c48463d partial style redo. standardize ns setup
drewp@bigasterisk.com
parents: 614
diff changeset
8 <script src="/rdf/common_paths_and_ns.js"></script>
ef9b9c48463d partial style redo. standardize ns setup
drewp@bigasterisk.com
parents: 614
diff changeset
9
ef9b9c48463d partial style redo. standardize ns setup
drewp@bigasterisk.com
parents: 614
diff changeset
10 <link rel="stylesheet" href="/rdf/browse/style.css">
319
d4a602576170 requirejs config for streamed-graph to use
drewp@bigasterisk.com
parents: 233
diff changeset
11
193
960b3b4cdd29 rewrite to polymer 1
drewp@bigasterisk.com
parents: 187
diff changeset
12 <link rel="import" href="/lib/polymer/1.0.9/polymer/polymer.html">
960b3b4cdd29 rewrite to polymer 1
drewp@bigasterisk.com
parents: 187
diff changeset
13 <link rel="import" href="/lib/polymer/1.0.9/iron-ajax/iron-ajax.html">
960b3b4cdd29 rewrite to polymer 1
drewp@bigasterisk.com
parents: 187
diff changeset
14 <link rel="import" href="/lib/polymer/1.0.9/iron-flex-layout/iron-flex-layout.html">
198
06795f84fe29 arduinoNode config. missing import
drewp@bigasterisk.com
parents: 194
diff changeset
15 <link rel="import" href="/lib/polymer/1.0.9/paper-button/paper-button.html">
233
4ebb5cc30002 server/browser graph sync. cut dependency on the WS version. merge some changes between arduino/pi code.
drewp@bigasterisk.com
parents: 228
diff changeset
16 <link rel="import" href="/rdf/rdf-oneshot.html">
4ebb5cc30002 server/browser graph sync. cut dependency on the WS version. merge some changes between arduino/pi code.
drewp@bigasterisk.com
parents: 228
diff changeset
17 <link rel="import" href="/rdf/rdf-uri.html">
228
f609e1eee4db add synced graph-view to the bottom of arduinoNode/piNode tester page
drewp@bigasterisk.com
parents: 222
diff changeset
18 <link rel="import" href="/rdf/streamed-graph.html">
618
ab762d49cd38 output-widgets.html path
drewp@bigasterisk.com
parents: 616
diff changeset
19 <link rel="import" href="output-widgets.html">
170
376599552a4c polymer board debug page with working output widgets
drewp@bigasterisk.com
parents:
diff changeset
20 </head>
616
ef9b9c48463d partial style redo. standardize ns setup
drewp@bigasterisk.com
parents: 614
diff changeset
21 <body class="rdfBrowsePage">
193
960b3b4cdd29 rewrite to polymer 1
drewp@bigasterisk.com
parents: 187
diff changeset
22 <dom-module id="linked-uri">
170
376599552a4c polymer board debug page with working output widgets
drewp@bigasterisk.com
parents:
diff changeset
23 <template>
193
960b3b4cdd29 rewrite to polymer 1
drewp@bigasterisk.com
parents: 187
diff changeset
24 <a href$="{{href}}">{{compactUri(href)}}</a>
173
0daa8cbbd8f6 handle compact/full uris better, but still not always right
drewp@bigasterisk.com
parents: 171
diff changeset
25 </template>
187
fc5fdcc3ed4a board control ui: output-rgb, fix ajax protocol, display output uris
drewp@bigasterisk.com
parents: 173
diff changeset
26 <script>
194
35e07a9f3287 fix arduinoNode for safari
drewp@bigasterisk.com
parents: 193
diff changeset
27 HTMLImports.whenReady(function () {
35e07a9f3287 fix arduinoNode for safari
drewp@bigasterisk.com
parents: 193
diff changeset
28 Polymer({
35e07a9f3287 fix arduinoNode for safari
drewp@bigasterisk.com
parents: 193
diff changeset
29 is: 'linked-uri',
35e07a9f3287 fix arduinoNode for safari
drewp@bigasterisk.com
parents: 193
diff changeset
30 properties: { href: { notify: true } },
35e07a9f3287 fix arduinoNode for safari
drewp@bigasterisk.com
parents: 193
diff changeset
31 behaviors: [BigastUri]
35e07a9f3287 fix arduinoNode for safari
drewp@bigasterisk.com
parents: 193
diff changeset
32 });
193
960b3b4cdd29 rewrite to polymer 1
drewp@bigasterisk.com
parents: 187
diff changeset
33 });
960b3b4cdd29 rewrite to polymer 1
drewp@bigasterisk.com
parents: 187
diff changeset
34 </script>
960b3b4cdd29 rewrite to polymer 1
drewp@bigasterisk.com
parents: 187
diff changeset
35 </dom-module>
960b3b4cdd29 rewrite to polymer 1
drewp@bigasterisk.com
parents: 187
diff changeset
36
960b3b4cdd29 rewrite to polymer 1
drewp@bigasterisk.com
parents: 187
diff changeset
37 <dom-module id="watched-subgraph">
960b3b4cdd29 rewrite to polymer 1
drewp@bigasterisk.com
parents: 187
diff changeset
38 <style>
960b3b4cdd29 rewrite to polymer 1
drewp@bigasterisk.com
parents: 187
diff changeset
39 .read { font-weight: bold; }
960b3b4cdd29 rewrite to polymer 1
drewp@bigasterisk.com
parents: 187
diff changeset
40 </style>
960b3b4cdd29 rewrite to polymer 1
drewp@bigasterisk.com
parents: 187
diff changeset
41 <template>
960b3b4cdd29 rewrite to polymer 1
drewp@bigasterisk.com
parents: 187
diff changeset
42 <div><span>{{compactUri(subj)}}</span>, <span>{{compactUri(pred)}}</span>,
960b3b4cdd29 rewrite to polymer 1
drewp@bigasterisk.com
parents: 187
diff changeset
43 <span class="read">{{formatted(out)}}</span>
960b3b4cdd29 rewrite to polymer 1
drewp@bigasterisk.com
parents: 187
diff changeset
44 </div>
960b3b4cdd29 rewrite to polymer 1
drewp@bigasterisk.com
parents: 187
diff changeset
45
960b3b4cdd29 rewrite to polymer 1
drewp@bigasterisk.com
parents: 187
diff changeset
46 </template>
960b3b4cdd29 rewrite to polymer 1
drewp@bigasterisk.com
parents: 187
diff changeset
47 <script>
194
35e07a9f3287 fix arduinoNode for safari
drewp@bigasterisk.com
parents: 193
diff changeset
48 HTMLImports.whenReady(function () {
35e07a9f3287 fix arduinoNode for safari
drewp@bigasterisk.com
parents: 193
diff changeset
49 Polymer({
35e07a9f3287 fix arduinoNode for safari
drewp@bigasterisk.com
parents: 193
diff changeset
50 is: 'watched-subgraph',
35e07a9f3287 fix arduinoNode for safari
drewp@bigasterisk.com
parents: 193
diff changeset
51 properties: {
233
4ebb5cc30002 server/browser graph sync. cut dependency on the WS version. merge some changes between arduino/pi code.
drewp@bigasterisk.com
parents: 228
diff changeset
52 streamedGraph: { notify: true, observer: 'onGraphChange' }, // streamed-graph output
194
35e07a9f3287 fix arduinoNode for safari
drewp@bigasterisk.com
parents: 193
diff changeset
53 out: { notify: true },
233
4ebb5cc30002 server/browser graph sync. cut dependency on the WS version. merge some changes between arduino/pi code.
drewp@bigasterisk.com
parents: 228
diff changeset
54 pred: { notify: true }, // uri
4ebb5cc30002 server/browser graph sync. cut dependency on the WS version. merge some changes between arduino/pi code.
drewp@bigasterisk.com
parents: 228
diff changeset
55 subj: { notify: true } // uri
194
35e07a9f3287 fix arduinoNode for safari
drewp@bigasterisk.com
parents: 193
diff changeset
56 },
35e07a9f3287 fix arduinoNode for safari
drewp@bigasterisk.com
parents: 193
diff changeset
57 behaviors: [BigastUri],
233
4ebb5cc30002 server/browser graph sync. cut dependency on the WS version. merge some changes between arduino/pi code.
drewp@bigasterisk.com
parents: 228
diff changeset
58 onGraphChange: function(streamedGraph) {
4ebb5cc30002 server/browser graph sync. cut dependency on the WS version. merge some changes between arduino/pi code.
drewp@bigasterisk.com
parents: 228
diff changeset
59 if (!streamedGraph.graph) {
4ebb5cc30002 server/browser graph sync. cut dependency on the WS version. merge some changes between arduino/pi code.
drewp@bigasterisk.com
parents: 228
diff changeset
60 return;
4ebb5cc30002 server/browser graph sync. cut dependency on the WS version. merge some changes between arduino/pi code.
drewp@bigasterisk.com
parents: 228
diff changeset
61 }
4ebb5cc30002 server/browser graph sync. cut dependency on the WS version. merge some changes between arduino/pi code.
drewp@bigasterisk.com
parents: 228
diff changeset
62 var env = streamedGraph.graph.store.rdf;
4ebb5cc30002 server/browser graph sync. cut dependency on the WS version. merge some changes between arduino/pi code.
drewp@bigasterisk.com
parents: 228
diff changeset
63 streamedGraph.graph.quadStore.quads({subject: env.createNamedNode(this.subj),
4ebb5cc30002 server/browser graph sync. cut dependency on the WS version. merge some changes between arduino/pi code.
drewp@bigasterisk.com
parents: 228
diff changeset
64 predicate: env.createNamedNode(this.pred)},
4ebb5cc30002 server/browser graph sync. cut dependency on the WS version. merge some changes between arduino/pi code.
drewp@bigasterisk.com
parents: 228
diff changeset
65 function(quad) {
613
62b52bb862f7 just reindent, i think
drewp@bigasterisk.com
parents: 535
diff changeset
66 this.out = quad.object.valueOf();
62b52bb862f7 just reindent, i think
drewp@bigasterisk.com
parents: 535
diff changeset
67 }.bind(this));
233
4ebb5cc30002 server/browser graph sync. cut dependency on the WS version. merge some changes between arduino/pi code.
drewp@bigasterisk.com
parents: 228
diff changeset
68 },
4ebb5cc30002 server/browser graph sync. cut dependency on the WS version. merge some changes between arduino/pi code.
drewp@bigasterisk.com
parents: 228
diff changeset
69 formatted: function (obj) {
4ebb5cc30002 server/browser graph sync. cut dependency on the WS version. merge some changes between arduino/pi code.
drewp@bigasterisk.com
parents: 228
diff changeset
70 if (typeof(obj) == 'string') {
194
35e07a9f3287 fix arduinoNode for safari
drewp@bigasterisk.com
parents: 193
diff changeset
71 return this.compactUri(obj);
35e07a9f3287 fix arduinoNode for safari
drewp@bigasterisk.com
parents: 193
diff changeset
72 } else {
233
4ebb5cc30002 server/browser graph sync. cut dependency on the WS version. merge some changes between arduino/pi code.
drewp@bigasterisk.com
parents: 228
diff changeset
73 return obj;
194
35e07a9f3287 fix arduinoNode for safari
drewp@bigasterisk.com
parents: 193
diff changeset
74 }
187
fc5fdcc3ed4a board control ui: output-rgb, fix ajax protocol, display output uris
drewp@bigasterisk.com
parents: 173
diff changeset
75 }
194
35e07a9f3287 fix arduinoNode for safari
drewp@bigasterisk.com
parents: 193
diff changeset
76 });
187
fc5fdcc3ed4a board control ui: output-rgb, fix ajax protocol, display output uris
drewp@bigasterisk.com
parents: 173
diff changeset
77 });
fc5fdcc3ed4a board control ui: output-rgb, fix ajax protocol, display output uris
drewp@bigasterisk.com
parents: 173
diff changeset
78 </script>
193
960b3b4cdd29 rewrite to polymer 1
drewp@bigasterisk.com
parents: 187
diff changeset
79 </dom-module>
960b3b4cdd29 rewrite to polymer 1
drewp@bigasterisk.com
parents: 187
diff changeset
80
960b3b4cdd29 rewrite to polymer 1
drewp@bigasterisk.com
parents: 187
diff changeset
81 <dom-module id="arduinonode-boards">
960b3b4cdd29 rewrite to polymer 1
drewp@bigasterisk.com
parents: 187
diff changeset
82 <style>
960b3b4cdd29 rewrite to polymer 1
drewp@bigasterisk.com
parents: 187
diff changeset
83 h1 {
613
62b52bb862f7 just reindent, i think
drewp@bigasterisk.com
parents: 535
diff changeset
84 margin: 0;
62b52bb862f7 just reindent, i think
drewp@bigasterisk.com
parents: 535
diff changeset
85 font-size: 130%;
193
960b3b4cdd29 rewrite to polymer 1
drewp@bigasterisk.com
parents: 187
diff changeset
86 }
960b3b4cdd29 rewrite to polymer 1
drewp@bigasterisk.com
parents: 187
diff changeset
87 ul {
613
62b52bb862f7 just reindent, i think
drewp@bigasterisk.com
parents: 535
diff changeset
88 padding-left: 5px;
193
960b3b4cdd29 rewrite to polymer 1
drewp@bigasterisk.com
parents: 187
diff changeset
89 }
960b3b4cdd29 rewrite to polymer 1
drewp@bigasterisk.com
parents: 187
diff changeset
90 .board, .device {
613
62b52bb862f7 just reindent, i think
drewp@bigasterisk.com
parents: 535
diff changeset
91 border: 1px solid gray;
62b52bb862f7 just reindent, i think
drewp@bigasterisk.com
parents: 535
diff changeset
92 border-radius: 10px;
62b52bb862f7 just reindent, i think
drewp@bigasterisk.com
parents: 535
diff changeset
93 margin: 13px;
62b52bb862f7 just reindent, i think
drewp@bigasterisk.com
parents: 535
diff changeset
94 padding: 7px;
62b52bb862f7 just reindent, i think
drewp@bigasterisk.com
parents: 535
diff changeset
95 box-shadow: 2px 5px 5px rgba(0, 0, 0, 0.14);
193
960b3b4cdd29 rewrite to polymer 1
drewp@bigasterisk.com
parents: 187
diff changeset
96 }
616
ef9b9c48463d partial style redo. standardize ns setup
drewp@bigasterisk.com
parents: 614
diff changeset
97
193
960b3b4cdd29 rewrite to polymer 1
drewp@bigasterisk.com
parents: 187
diff changeset
98 </style>
170
376599552a4c polymer board debug page with working output widgets
drewp@bigasterisk.com
parents:
diff changeset
99 <template>
660
e3af8cc7235d try new graph+view widget
drewp@bigasterisk.com
parents: 618
diff changeset
100 <streamed-graph url="graph/events" graph="{{graph}}" expanded="true"></streamed-graph>
193
960b3b4cdd29 rewrite to polymer 1
drewp@bigasterisk.com
parents: 187
diff changeset
101 <iron-ajax url="boards" auto="true" handle-as="json"
960b3b4cdd29 rewrite to polymer 1
drewp@bigasterisk.com
parents: 187
diff changeset
102 last-response="{{ret}}"></iron-ajax>
960b3b4cdd29 rewrite to polymer 1
drewp@bigasterisk.com
parents: 187
diff changeset
103 <template is="dom-repeat" items="{{ret.boards}}" as="board">
170
376599552a4c polymer board debug page with working output widgets
drewp@bigasterisk.com
parents:
diff changeset
104 <div class="board">
193
960b3b4cdd29 rewrite to polymer 1
drewp@bigasterisk.com
parents: 187
diff changeset
105 <h1>Board <linked-uri href$="{{board.uri}}"></linked-uri></h1>
170
376599552a4c polymer board debug page with working output widgets
drewp@bigasterisk.com
parents:
diff changeset
106 <h2>Devices</h2>
233
4ebb5cc30002 server/browser graph sync. cut dependency on the WS version. merge some changes between arduino/pi code.
drewp@bigasterisk.com
parents: 228
diff changeset
107 <ul class="devs">
193
960b3b4cdd29 rewrite to polymer 1
drewp@bigasterisk.com
parents: 187
diff changeset
108 <template is="dom-repeat" items="{{board.devices}}" as="dev">
170
376599552a4c polymer board debug page with working output widgets
drewp@bigasterisk.com
parents:
diff changeset
109 <div class="device">
376599552a4c polymer board debug page with working output widgets
drewp@bigasterisk.com
parents:
diff changeset
110 <h1>
193
960b3b4cdd29 rewrite to polymer 1
drewp@bigasterisk.com
parents: 187
diff changeset
111 <span>{{dev.className}}</span>
960b3b4cdd29 rewrite to polymer 1
drewp@bigasterisk.com
parents: 187
diff changeset
112 <linked-uri href$="{{dev.uri}}"></linked-uri>
170
376599552a4c polymer board debug page with working output widgets
drewp@bigasterisk.com
parents:
diff changeset
113 </h1>
193
960b3b4cdd29 rewrite to polymer 1
drewp@bigasterisk.com
parents: 187
diff changeset
114 <template is="dom-if" if="{{dev.watchPrefixes.length}}">
171
4d2df276baae clean up rdf-observe demo ui
drewp@bigasterisk.com
parents: 170
diff changeset
115 <div>watching:</div>
4d2df276baae clean up rdf-observe demo ui
drewp@bigasterisk.com
parents: 170
diff changeset
116 <ul>
193
960b3b4cdd29 rewrite to polymer 1
drewp@bigasterisk.com
parents: 187
diff changeset
117 <template is="dom-repeat" items="{{dev.watchPrefixes}}" as="prefix">
233
4ebb5cc30002 server/browser graph sync. cut dependency on the WS version. merge some changes between arduino/pi code.
drewp@bigasterisk.com
parents: 228
diff changeset
118 <watched-subgraph streamed-graph="{{graph}}" subj="{{prefix.0}}" pred="{{prefix.1}}"></watched-subgraph>
171
4d2df276baae clean up rdf-observe demo ui
drewp@bigasterisk.com
parents: 170
diff changeset
119 </template>
4d2df276baae clean up rdf-observe demo ui
drewp@bigasterisk.com
parents: 170
diff changeset
120 </ul>
4d2df276baae clean up rdf-observe demo ui
drewp@bigasterisk.com
parents: 170
diff changeset
121 </template>
4d2df276baae clean up rdf-observe demo ui
drewp@bigasterisk.com
parents: 170
diff changeset
122
193
960b3b4cdd29 rewrite to polymer 1
drewp@bigasterisk.com
parents: 187
diff changeset
123 <template is="dom-if" if="{{dev.outputWidgets.length}}">
171
4d2df276baae clean up rdf-observe demo ui
drewp@bigasterisk.com
parents: 170
diff changeset
124 <div>send output:</div>
4d2df276baae clean up rdf-observe demo ui
drewp@bigasterisk.com
parents: 170
diff changeset
125 <ul>
193
960b3b4cdd29 rewrite to polymer 1
drewp@bigasterisk.com
parents: 187
diff changeset
126 <template is="dom-repeat" items="{{dev.outputWidgets}}" as="out">
171
4d2df276baae clean up rdf-observe demo ui
drewp@bigasterisk.com
parents: 170
diff changeset
127 <div>
233
4ebb5cc30002 server/browser graph sync. cut dependency on the WS version. merge some changes between arduino/pi code.
drewp@bigasterisk.com
parents: 228
diff changeset
128 <output-widget-any streamed-graph="{{graph}}" desc="{{out}}"></output-widget-any>
171
4d2df276baae clean up rdf-observe demo ui
drewp@bigasterisk.com
parents: 170
diff changeset
129 </div>
4d2df276baae clean up rdf-observe demo ui
drewp@bigasterisk.com
parents: 170
diff changeset
130 </template>
4d2df276baae clean up rdf-observe demo ui
drewp@bigasterisk.com
parents: 170
diff changeset
131 </ul>
4d2df276baae clean up rdf-observe demo ui
drewp@bigasterisk.com
parents: 170
diff changeset
132 </template>
170
376599552a4c polymer board debug page with working output widgets
drewp@bigasterisk.com
parents:
diff changeset
133 </div>
376599552a4c polymer board debug page with working output widgets
drewp@bigasterisk.com
parents:
diff changeset
134 </template>
376599552a4c polymer board debug page with working output widgets
drewp@bigasterisk.com
parents:
diff changeset
135 </ul>
376599552a4c polymer board debug page with working output widgets
drewp@bigasterisk.com
parents:
diff changeset
136 </div>
376599552a4c polymer board debug page with working output widgets
drewp@bigasterisk.com
parents:
diff changeset
137 </template>
614
94bf6bbdbb04 fix graph view on ionode index page
drewp@bigasterisk.com
parents: 613
diff changeset
138
170
376599552a4c polymer board debug page with working output widgets
drewp@bigasterisk.com
parents:
diff changeset
139 </template>
193
960b3b4cdd29 rewrite to polymer 1
drewp@bigasterisk.com
parents: 187
diff changeset
140 <script>
194
35e07a9f3287 fix arduinoNode for safari
drewp@bigasterisk.com
parents: 193
diff changeset
141 HTMLImports.whenReady(function () {
35e07a9f3287 fix arduinoNode for safari
drewp@bigasterisk.com
parents: 193
diff changeset
142 Polymer({
35e07a9f3287 fix arduinoNode for safari
drewp@bigasterisk.com
parents: 193
diff changeset
143 is: 'arduinonode-boards',
222
e606f1d89d89 hostname in page title
drewp@bigasterisk.com
parents: 218
diff changeset
144 properties: {
e606f1d89d89 hostname in page title
drewp@bigasterisk.com
parents: 218
diff changeset
145 ret: { type: Object, notify: true, observer: 'onBoards' }
e606f1d89d89 hostname in page title
drewp@bigasterisk.com
parents: 218
diff changeset
146 },
e606f1d89d89 hostname in page title
drewp@bigasterisk.com
parents: 218
diff changeset
147 onBoards: function() {
e606f1d89d89 hostname in page title
drewp@bigasterisk.com
parents: 218
diff changeset
148 document.title = document.title + ' ' + this.ret.host;
e606f1d89d89 hostname in page title
drewp@bigasterisk.com
parents: 218
diff changeset
149 },
194
35e07a9f3287 fix arduinoNode for safari
drewp@bigasterisk.com
parents: 193
diff changeset
150 behaviors: [BigastUri]
35e07a9f3287 fix arduinoNode for safari
drewp@bigasterisk.com
parents: 193
diff changeset
151 });
193
960b3b4cdd29 rewrite to polymer 1
drewp@bigasterisk.com
parents: 187
diff changeset
152 });
960b3b4cdd29 rewrite to polymer 1
drewp@bigasterisk.com
parents: 187
diff changeset
153 </script>
960b3b4cdd29 rewrite to polymer 1
drewp@bigasterisk.com
parents: 187
diff changeset
154 </dom-module>
194
35e07a9f3287 fix arduinoNode for safari
drewp@bigasterisk.com
parents: 193
diff changeset
155 <arduinonode-boards></arduinonode-boards>
170
376599552a4c polymer board debug page with working output widgets
drewp@bigasterisk.com
parents:
diff changeset
156 </body>
376599552a4c polymer board debug page with working output widgets
drewp@bigasterisk.com
parents:
diff changeset
157 </html>