Mercurial > sci

annotate themes/bulma/theme.js @ 85:cf49ab595e2e default tip @

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
sciworkerd: avoid spawning several tasks
author David Demelier <markand@malikania.fr>
date Thu, 09 Mar 2023 10:43:48 +0100
parents 71cd8447e3a4
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
30
43333d18e4b8 scid: document theme
David Demelier <markand@malikania.fr>
parents: 29
diff changeset
1 /*
43333d18e4b8 scid: document theme
David Demelier <markand@malikania.fr>
parents: 29
diff changeset
2 * theme.js -- scid bulma theme
43333d18e4b8 scid: document theme
David Demelier <markand@malikania.fr>
parents: 29
diff changeset
3 *
80
71cd8447e3a4 misc: update copyright years
David Demelier <markand@malikania.fr>
parents: 74
diff changeset
4 * Copyright (c) 2021-2023 David Demelier <markand@malikania.fr>
30
43333d18e4b8 scid: document theme
David Demelier <markand@malikania.fr>
parents: 29
diff changeset
5 *
43333d18e4b8 scid: document theme
David Demelier <markand@malikania.fr>
parents: 29
diff changeset
6 * Permission to use, copy, modify, and/or distribute this software for any
43333d18e4b8 scid: document theme
David Demelier <markand@malikania.fr>
parents: 29
diff changeset
7 * purpose with or without fee is hereby granted, provided that the above
43333d18e4b8 scid: document theme
David Demelier <markand@malikania.fr>
parents: 29
diff changeset
8 * copyright notice and this permission notice appear in all copies.
43333d18e4b8 scid: document theme
David Demelier <markand@malikania.fr>
parents: 29
diff changeset
9 *
43333d18e4b8 scid: document theme
David Demelier <markand@malikania.fr>
parents: 29
diff changeset
10 * THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
43333d18e4b8 scid: document theme
David Demelier <markand@malikania.fr>
parents: 29
diff changeset
11 * WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
43333d18e4b8 scid: document theme
David Demelier <markand@malikania.fr>
parents: 29
diff changeset
12 * MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
43333d18e4b8 scid: document theme
David Demelier <markand@malikania.fr>
parents: 29
diff changeset
13 * ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
43333d18e4b8 scid: document theme
David Demelier <markand@malikania.fr>
parents: 29
diff changeset
14 * WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
43333d18e4b8 scid: document theme
David Demelier <markand@malikania.fr>
parents: 29
diff changeset
15 * ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
43333d18e4b8 scid: document theme
David Demelier <markand@malikania.fr>
parents: 29
diff changeset
16 * OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
43333d18e4b8 scid: document theme
David Demelier <markand@malikania.fr>
parents: 29
diff changeset
17 */
28
4c16bb25e4f1 scid: implement themes in javascript
David Demelier <markand@malikania.fr>
parents:
diff changeset
18
40
752bb1cd2dd8 themes: improve status page
David Demelier <markand@malikania.fr>
parents: 32
diff changeset
19 function render(rdr, page, title, data)
29
695637f1d8a7 scid: first index page in javascript
David Demelier <markand@malikania.fr>
parents: 28
diff changeset
20 {
695637f1d8a7 scid: first index page in javascript
David Demelier <markand@malikania.fr>
parents: 28
diff changeset
21 Scid.render(rdr, "header.mustache", {
40
752bb1cd2dd8 themes: improve status page
David Demelier <markand@malikania.fr>
parents: 32
diff changeset
22 title: title
29
695637f1d8a7 scid: first index page in javascript
David Demelier <markand@malikania.fr>
parents: 28
diff changeset
23 });
28
4c16bb25e4f1 scid: implement themes in javascript
David Demelier <markand@malikania.fr>
parents:
diff changeset
24
40
752bb1cd2dd8 themes: improve status page
David Demelier <markand@malikania.fr>
parents: 32
diff changeset
25 Scid.render(rdr, page, data);
752bb1cd2dd8 themes: improve status page
David Demelier <markand@malikania.fr>
parents: 32
diff changeset
26 Scid.render(rdr, "footer.mustache");
752bb1cd2dd8 themes: improve status page
David Demelier <markand@malikania.fr>
parents: 32
diff changeset
27 }
752bb1cd2dd8 themes: improve status page
David Demelier <markand@malikania.fr>
parents: 32
diff changeset
28
57
bc617784ec97 scid: many fixes in pages
David Demelier <markand@malikania.fr>
parents: 48
diff changeset
29 function isFailed(job)
bc617784ec97 scid: many fixes in pages
David Demelier <markand@malikania.fr>
parents: 48
diff changeset
30 {
bc617784ec97 scid: many fixes in pages
David Demelier <markand@malikania.fr>
parents: 48
diff changeset
31 /* Can be failed if there is a property status to false. */
bc617784ec97 scid: many fixes in pages
David Demelier <markand@malikania.fr>
parents: 48
diff changeset
32 if (typeof (job.status) === "boolean")
bc617784ec97 scid: many fixes in pages
David Demelier <markand@malikania.fr>
parents: 48
diff changeset
33 return job.status === false;
bc617784ec97 scid: many fixes in pages
David Demelier <markand@malikania.fr>
parents: 48
diff changeset
34
bc617784ec97 scid: many fixes in pages
David Demelier <markand@malikania.fr>
parents: 48
diff changeset
35 /* Otherwise, check for exitcode/sigcode that must be present. */
bc617784ec97 scid: many fixes in pages
David Demelier <markand@malikania.fr>
parents: 48
diff changeset
36 return job.exitcode !== 0 || job.sigcode !== 0;
bc617784ec97 scid: many fixes in pages
David Demelier <markand@malikania.fr>
parents: 48
diff changeset
37 }
bc617784ec97 scid: many fixes in pages
David Demelier <markand@malikania.fr>
parents: 48
diff changeset
38
40
752bb1cd2dd8 themes: improve status page
David Demelier <markand@malikania.fr>
parents: 32
diff changeset
39 function onPageIndex(rdr, data)
752bb1cd2dd8 themes: improve status page
David Demelier <markand@malikania.fr>
parents: 32
diff changeset
40 {
29
695637f1d8a7 scid: first index page in javascript
David Demelier <markand@malikania.fr>
parents: 28
diff changeset
41 /*
695637f1d8a7 scid: first index page in javascript
David Demelier <markand@malikania.fr>
parents: 28
diff changeset
42 * Add is-danger/is-success for every job depending on their success
695637f1d8a7 scid: first index page in javascript
David Demelier <markand@malikania.fr>
parents: 28
diff changeset
43 * status, this is required to show the appropriate tag.
695637f1d8a7 scid: first index page in javascript
David Demelier <markand@malikania.fr>
parents: 28
diff changeset
44 */
73
b0d1166de7d3 themes: improve status
David Demelier <markand@malikania.fr>
parents: 72
diff changeset
45 for (var p = 0; p < data.projects.length; ++p) {
b0d1166de7d3 themes: improve status
David Demelier <markand@malikania.fr>
parents: 72
diff changeset
46 var jobs = data.projects[p].jobs;
b0d1166de7d3 themes: improve status
David Demelier <markand@malikania.fr>
parents: 72
diff changeset
47
b0d1166de7d3 themes: improve status
David Demelier <markand@malikania.fr>
parents: 72
diff changeset
48 for (var j = 0; j < jobs.length; ++j) {
b0d1166de7d3 themes: improve status
David Demelier <markand@malikania.fr>
parents: 72
diff changeset
49 switch (jobs[j].status) {
b0d1166de7d3 themes: improve status
David Demelier <markand@malikania.fr>
parents: 72
diff changeset
50 case "unknown":
b0d1166de7d3 themes: improve status
David Demelier <markand@malikania.fr>
parents: 72
diff changeset
51 jobs[j].color = "is-warning";
b0d1166de7d3 themes: improve status
David Demelier <markand@malikania.fr>
parents: 72
diff changeset
52 jobs[j].textcolor = "has-text-warning";
b0d1166de7d3 themes: improve status
David Demelier <markand@malikania.fr>
parents: 72
diff changeset
53 jobs[j].status = "pending";
b0d1166de7d3 themes: improve status
David Demelier <markand@malikania.fr>
parents: 72
diff changeset
54 break;
b0d1166de7d3 themes: improve status
David Demelier <markand@malikania.fr>
parents: 72
diff changeset
55 case "success":
b0d1166de7d3 themes: improve status
David Demelier <markand@malikania.fr>
parents: 72
diff changeset
56 jobs[j].color = "is-success";
b0d1166de7d3 themes: improve status
David Demelier <markand@malikania.fr>
parents: 72
diff changeset
57 jobs[j].textcolor = "has-text-success";
b0d1166de7d3 themes: improve status
David Demelier <markand@malikania.fr>
parents: 72
diff changeset
58 jobs[j].status = "success";
b0d1166de7d3 themes: improve status
David Demelier <markand@malikania.fr>
parents: 72
diff changeset
59 break;
b0d1166de7d3 themes: improve status
David Demelier <markand@malikania.fr>
parents: 72
diff changeset
60 case "failed":
b0d1166de7d3 themes: improve status
David Demelier <markand@malikania.fr>
parents: 72
diff changeset
61 jobs[j].color = "is-danger";
b0d1166de7d3 themes: improve status
David Demelier <markand@malikania.fr>
parents: 72
diff changeset
62 jobs[j].textcolor = "has-text-danger";
b0d1166de7d3 themes: improve status
David Demelier <markand@malikania.fr>
parents: 72
diff changeset
63 jobs[j].status = "failed";
b0d1166de7d3 themes: improve status
David Demelier <markand@malikania.fr>
parents: 72
diff changeset
64 break;
b0d1166de7d3 themes: improve status
David Demelier <markand@malikania.fr>
parents: 72
diff changeset
65 default:
b0d1166de7d3 themes: improve status
David Demelier <markand@malikania.fr>
parents: 72
diff changeset
66 break;
b0d1166de7d3 themes: improve status
David Demelier <markand@malikania.fr>
parents: 72
diff changeset
67 }
b0d1166de7d3 themes: improve status
David Demelier <markand@malikania.fr>
parents: 72
diff changeset
68 }
29
695637f1d8a7 scid: first index page in javascript
David Demelier <markand@malikania.fr>
parents: 28
diff changeset
69
72
3a5ecc40451a themes: fix bulma index
David Demelier <markand@malikania.fr>
parents: 58
diff changeset
70 /* Hide card jobs table if empty. */
73
b0d1166de7d3 themes: improve status
David Demelier <markand@malikania.fr>
parents: 72
diff changeset
71 if (jobs.length === 0)
b0d1166de7d3 themes: improve status
David Demelier <markand@malikania.fr>
parents: 72
diff changeset
72 data.projects[p].hidden = "hidden";
72
3a5ecc40451a themes: fix bulma index
David Demelier <markand@malikania.fr>
parents: 58
diff changeset
73 }
3a5ecc40451a themes: fix bulma index
David Demelier <markand@malikania.fr>
parents: 58
diff changeset
74
40
752bb1cd2dd8 themes: improve status page
David Demelier <markand@malikania.fr>
parents: 32
diff changeset
75 render(rdr, "index.mustache", "sci -- index page", data);
28
4c16bb25e4f1 scid: implement themes in javascript
David Demelier <markand@malikania.fr>
parents:
diff changeset
76 }
40
752bb1cd2dd8 themes: improve status page
David Demelier <markand@malikania.fr>
parents: 32
diff changeset
77
74
38bdcfb3d4f7 themes: fix worker page
David Demelier <markand@malikania.fr>
parents: 73
diff changeset
78 function addResultClasses(jobresults)
41
00b9af607524 scid: implement /jobresults/id page
David Demelier <markand@malikania.fr>
parents: 40
diff changeset
79 {
73
b0d1166de7d3 themes: improve status
David Demelier <markand@malikania.fr>
parents: 72
diff changeset
80 /* Add a status on failed/successful tasks. */
74
38bdcfb3d4f7 themes: fix worker page
David Demelier <markand@malikania.fr>
parents: 73
diff changeset
81 for (var i = 0; i < jobresults.length; ++i) {
38bdcfb3d4f7 themes: fix worker page
David Demelier <markand@malikania.fr>
parents: 73
diff changeset
82 var res = jobresults[i];
73
b0d1166de7d3 themes: improve status
David Demelier <markand@malikania.fr>
parents: 72
diff changeset
83
b0d1166de7d3 themes: improve status
David Demelier <markand@malikania.fr>
parents: 72
diff changeset
84 if (res.exitcode === 0 && res.sigcode === 0) {
b0d1166de7d3 themes: improve status
David Demelier <markand@malikania.fr>
parents: 72
diff changeset
85 res.textcolor = "has-text-success";
b0d1166de7d3 themes: improve status
David Demelier <markand@malikania.fr>
parents: 72
diff changeset
86 res.status = "success";
b0d1166de7d3 themes: improve status
David Demelier <markand@malikania.fr>
parents: 72
diff changeset
87 } else {
b0d1166de7d3 themes: improve status
David Demelier <markand@malikania.fr>
parents: 72
diff changeset
88 res.textcolor = "has-text-danger";
b0d1166de7d3 themes: improve status
David Demelier <markand@malikania.fr>
parents: 72
diff changeset
89 res.status = "failed";
b0d1166de7d3 themes: improve status
David Demelier <markand@malikania.fr>
parents: 72
diff changeset
90 }
b0d1166de7d3 themes: improve status
David Demelier <markand@malikania.fr>
parents: 72
diff changeset
91 }
74
38bdcfb3d4f7 themes: fix worker page
David Demelier <markand@malikania.fr>
parents: 73
diff changeset
92 }
73
b0d1166de7d3 themes: improve status
David Demelier <markand@malikania.fr>
parents: 72
diff changeset
93
74
38bdcfb3d4f7 themes: fix worker page
David Demelier <markand@malikania.fr>
parents: 73
diff changeset
94 function onPageJobresults(rdr, data)
38bdcfb3d4f7 themes: fix worker page
David Demelier <markand@malikania.fr>
parents: 73
diff changeset
95 {
38bdcfb3d4f7 themes: fix worker page
David Demelier <markand@malikania.fr>
parents: 73
diff changeset
96 addResultClasses(data.jobresults);
41
00b9af607524 scid: implement /jobresults/id page
David Demelier <markand@malikania.fr>
parents: 40
diff changeset
97 render(rdr, "jobresults.mustache", "sci -- job results", data);
00b9af607524 scid: implement /jobresults/id page
David Demelier <markand@malikania.fr>
parents: 40
diff changeset
98 }
00b9af607524 scid: implement /jobresults/id page
David Demelier <markand@malikania.fr>
parents: 40
diff changeset
99
40
752bb1cd2dd8 themes: improve status page
David Demelier <markand@malikania.fr>
parents: 32
diff changeset
100 function onPageStatus(rdr, data)
752bb1cd2dd8 themes: improve status page
David Demelier <markand@malikania.fr>
parents: 32
diff changeset
101 {
752bb1cd2dd8 themes: improve status page
David Demelier <markand@malikania.fr>
parents: 32
diff changeset
102 render(rdr, "status.mustache", "sci -- " + data.status, data);
752bb1cd2dd8 themes: improve status page
David Demelier <markand@malikania.fr>
parents: 32
diff changeset
103 }
47
e8f24896b484 scid: add /workers page
David Demelier <markand@malikania.fr>
parents: 41
diff changeset
104
e8f24896b484 scid: add /workers page
David Demelier <markand@malikania.fr>
parents: 41
diff changeset
105 function onPageWorker(rdr, data)
e8f24896b484 scid: add /workers page
David Demelier <markand@malikania.fr>
parents: 41
diff changeset
106 {
e8f24896b484 scid: add /workers page
David Demelier <markand@malikania.fr>
parents: 41
diff changeset
107 /* Similar to index page, add classes. */
57
bc617784ec97 scid: many fixes in pages
David Demelier <markand@malikania.fr>
parents: 48
diff changeset
108 if (typeof (data.jobresults) === "object")
74
38bdcfb3d4f7 themes: fix worker page
David Demelier <markand@malikania.fr>
parents: 73
diff changeset
109 addResultClasses(data.jobresults);
47
e8f24896b484 scid: add /workers page
David Demelier <markand@malikania.fr>
parents: 41
diff changeset
110
e8f24896b484 scid: add /workers page
David Demelier <markand@malikania.fr>
parents: 41
diff changeset
111 render(rdr, "worker.mustache", "sci -- worker", data);
e8f24896b484 scid: add /workers page
David Demelier <markand@malikania.fr>
parents: 41
diff changeset
112 }
e8f24896b484 scid: add /workers page
David Demelier <markand@malikania.fr>
parents: 41
diff changeset
113
e8f24896b484 scid: add /workers page
David Demelier <markand@malikania.fr>
parents: 41
diff changeset
114 function onPageWorkers(rdr, data)
e8f24896b484 scid: add /workers page
David Demelier <markand@malikania.fr>
parents: 41
diff changeset
115 {
e8f24896b484 scid: add /workers page
David Demelier <markand@malikania.fr>
parents: 41
diff changeset
116 render(rdr, "workers.mustache", "sci -- workers", data);
e8f24896b484 scid: add /workers page
David Demelier <markand@malikania.fr>
parents: 41
diff changeset
117 }
58
7a4112eec15b scid: add /projects page
David Demelier <markand@malikania.fr>
parents: 57
diff changeset
118
7a4112eec15b scid: add /projects page
David Demelier <markand@malikania.fr>
parents: 57
diff changeset
119 function onPageProjects(rdr, data)
7a4112eec15b scid: add /projects page
David Demelier <markand@malikania.fr>
parents: 57
diff changeset
120 {
7a4112eec15b scid: add /projects page
David Demelier <markand@malikania.fr>
parents: 57
diff changeset
121 render(rdr, "projects.mustache", "sci -- projects", data);
7a4112eec15b scid: add /projects page
David Demelier <markand@malikania.fr>
parents: 57
diff changeset
122 }
7a4112eec15b scid: add /projects page
David Demelier <markand@malikania.fr>
parents: 57
diff changeset
123
7a4112eec15b scid: add /projects page
David Demelier <markand@malikania.fr>
parents: 57
diff changeset
124 function onPageProject(rdr, data)
7a4112eec15b scid: add /projects page
David Demelier <markand@malikania.fr>
parents: 57
diff changeset
125 {
7a4112eec15b scid: add /projects page
David Demelier <markand@malikania.fr>
parents: 57
diff changeset
126 render(rdr, "project.mustache", "sci -- project", data);
7a4112eec15b scid: add /projects page
David Demelier <markand@malikania.fr>
parents: 57
diff changeset
127 }