annotate service/store/index.html @ 1721:e30741ab51a7

add ingress
author drewp@bigasterisk.com
date Fri, 16 Jun 2023 17:23:54 -0700
parents 92cb3245fdd1
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
411
9fbd2d0193bf new 'store' service for user inputs
drewp@bigasterisk.com
parents:
diff changeset
1 <!doctype html>
9fbd2d0193bf new 'store' service for user inputs
drewp@bigasterisk.com
parents:
diff changeset
2 <html>
9fbd2d0193bf new 'store' service for user inputs
drewp@bigasterisk.com
parents:
diff changeset
3 <head>
9fbd2d0193bf new 'store' service for user inputs
drewp@bigasterisk.com
parents:
diff changeset
4 <title>store</title>
652
92cb3245fdd1 index page is a data browser. support for -v
drewp@bigasterisk.com
parents: 458
diff changeset
5 <meta charset="utf-8">
458
4c68b604c7ec change port, put to /values, build updates
drewp@bigasterisk.com
parents: 411
diff changeset
6 <script src="/lib/polymer/1.0.9/webcomponentsjs/webcomponents.min.js"></script>
4c68b604c7ec change port, put to /values, build updates
drewp@bigasterisk.com
parents: 411
diff changeset
7 <script src="/lib/require/require-2.3.3.js"></script>
4c68b604c7ec change port, put to /values, build updates
drewp@bigasterisk.com
parents: 411
diff changeset
8 <script src="/rdf/common_paths_and_ns.js"></script>
4c68b604c7ec change port, put to /values, build updates
drewp@bigasterisk.com
parents: 411
diff changeset
9
652
92cb3245fdd1 index page is a data browser. support for -v
drewp@bigasterisk.com
parents: 458
diff changeset
10 <link rel="stylesheet" href="/rdf/browse/style.css">
92cb3245fdd1 index page is a data browser. support for -v
drewp@bigasterisk.com
parents: 458
diff changeset
11
458
4c68b604c7ec change port, put to /values, build updates
drewp@bigasterisk.com
parents: 411
diff changeset
12 <link rel="import" href="/rdf/streamed-graph.html">
4c68b604c7ec change port, put to /values, build updates
drewp@bigasterisk.com
parents: 411
diff changeset
13 <link rel="import" href="/lib/polymer/1.0.9/polymer/polymer.html">
4c68b604c7ec change port, put to /values, build updates
drewp@bigasterisk.com
parents: 411
diff changeset
14
4c68b604c7ec change port, put to /values, build updates
drewp@bigasterisk.com
parents: 411
diff changeset
15 <meta name="mobile-web-app-capable" content="yes">
4c68b604c7ec change port, put to /values, build updates
drewp@bigasterisk.com
parents: 411
diff changeset
16 <meta name="viewport" content="width=device-width, initial-scale=1">
411
9fbd2d0193bf new 'store' service for user inputs
drewp@bigasterisk.com
parents:
diff changeset
17 </head>
652
92cb3245fdd1 index page is a data browser. support for -v
drewp@bigasterisk.com
parents: 458
diff changeset
18 <body class="rdfBrowsePage">
458
4c68b604c7ec change port, put to /values, build updates
drewp@bigasterisk.com
parents: 411
diff changeset
19 <template id="t" is="dom-bind">
411
9fbd2d0193bf new 'store' service for user inputs
drewp@bigasterisk.com
parents:
diff changeset
20
458
4c68b604c7ec change port, put to /values, build updates
drewp@bigasterisk.com
parents: 411
diff changeset
21 table of statements, creation times, creators, which UI they used
4c68b604c7ec change port, put to /values, build updates
drewp@bigasterisk.com
parents: 411
diff changeset
22 <streamed-graph url="graph/events" graph="{{graph}}"></streamed-graph>
4c68b604c7ec change port, put to /values, build updates
drewp@bigasterisk.com
parents: 411
diff changeset
23 <div id="out"></div>
4c68b604c7ec change port, put to /values, build updates
drewp@bigasterisk.com
parents: 411
diff changeset
24 <script type="module" src="/rdf/streamed_graph_view.js"></script>
4c68b604c7ec change port, put to /values, build updates
drewp@bigasterisk.com
parents: 411
diff changeset
25 </template>
4c68b604c7ec change port, put to /values, build updates
drewp@bigasterisk.com
parents: 411
diff changeset
26 <style>
652
92cb3245fdd1 index page is a data browser. support for -v
drewp@bigasterisk.com
parents: 458
diff changeset
27
458
4c68b604c7ec change port, put to /values, build updates
drewp@bigasterisk.com
parents: 411
diff changeset
28 </style>
4c68b604c7ec change port, put to /values, build updates
drewp@bigasterisk.com
parents: 411
diff changeset
29 <div class="served-resources">
4c68b604c7ec change port, put to /values, build updates
drewp@bigasterisk.com
parents: 411
diff changeset
30 <a href="stats/">/stats/</a>
4c68b604c7ec change port, put to /values, build updates
drewp@bigasterisk.com
parents: 411
diff changeset
31 <a href="graph">/graph</a>
4c68b604c7ec change port, put to /values, build updates
drewp@bigasterisk.com
parents: 411
diff changeset
32 <a href="graph/events">/graph/events</a>
4c68b604c7ec change port, put to /values, build updates
drewp@bigasterisk.com
parents: 411
diff changeset
33 <a href="values">/values (put)</a>
4c68b604c7ec change port, put to /values, build updates
drewp@bigasterisk.com
parents: 411
diff changeset
34 </div>
4c68b604c7ec change port, put to /values, build updates
drewp@bigasterisk.com
parents: 411
diff changeset
35
411
9fbd2d0193bf new 'store' service for user inputs
drewp@bigasterisk.com
parents:
diff changeset
36 </body>
9fbd2d0193bf new 'store' service for user inputs
drewp@bigasterisk.com
parents:
diff changeset
37 </html>