gitoria

5.2 KB

1. // components/tickets.hl — THE TICKETS of a repo (gitoria#10, gitoria#16): `/tickets` on <slug>.<domain>, its own
2. // route, rendered on the SERVER with its list: the repo comes from the request's host, the tickets from
3. // tickets.worldapi.org (lib/tickets.hl — hl:fetch answers at once, so the list is in the first HTML and in every
4. // hl:web navigation). The repo must be connected to a tickets project first (gitoria#18, /settings). A named user
5. // opens a ticket AS THEMSELVES (the repo's key + their ident id, tickets.hl); a ticket opened here reaches every open
6. // tickets page of the repo (push `ticketOpened`).
7. parent './main.hl'
8. import { siteName } from '../project.hl'
9. import RepoHead from './repohead.hl'
10. import { slugOfHost } from '../lib/util.hl'
11. import { infoOfSession, userOfSession } from '../lib/users.hl'
12. import { repoAt } from '../lib/repos.hl'
13. import { pageTitle } from '../lib/repos-helpers.hl'
14. import { loadTickets, openTicket } from '../lib/tickets.hl'
16. host = null
17. session = null
18. slug = slugOfHost(host)
19. repo = repoAt(slug)
20. hasRepo = repo != null
21. me = infoOfSession(session)
22. canCreate = repo != null && repo.ticketsOn && me != null && me.named
23. needsLogin = repo != null && repo.ticketsOn && me == null
24. notConnected = repo != null && repo.ticketsOff
25. loaded = repo != null && repo.ticketsOn ? loadTickets(slug) : null
26. ticketsErrorShown = loaded != null && loaded.error != null
27. ticketsError = loaded != null && loaded.error != null ? loaded.error : ''
28. tickets = loaded != null && loaded.tickets != null ? loaded.tickets : []
29. ticketsTruncated = loaded != null && loaded.truncated == true
30. ticketsHref = loaded != null && loaded.url != null ? loaded.url : ''
31. ticketsShown = tickets.length > 0
32. ticketsNone = loaded != null && loaded.error == null && tickets.length == 0
33. ticketError = ''
34. ticketNotice = ''
35. hasTicketNotice = false
36. __title = pageTitle(siteName, slug, 'Tickets')
38. View {
39. repoPage {
40. RepoHead { }
41. if (hasRepo) {
42. repoTickets { id = "tickets"
43. if (notConnected) { p { id = "ticketsnotconnected" class = "empty" "This repository is not connected to a tickets project. The owner connects it under " a { id = "tosettings" href = "/settings" "Settings" } "." } }
44. if (ticketsErrorShown) { p { id = "ticketserror" class = "message" ticketsError } }
45. if (canCreate) {
46. details { id = "newticket"
47. summary { "New ticket" }
48. form { id = "newticketform"
49. on submit(e) {
50. e.preventDefault()
51. emit openIt(e)
52. }
53. label { "Subject"
54. input { id = "ticketsubject" name = "subject" required = "required" maxlength = "200" autocomplete = "off" }
55. }
56. label { "Text (Markdown, optional)"
57. textarea { id = "ticketsummary" name = "summary" rows = "5" }
58. }
59. button { id = "ticketsave" type = "submit" "Open ticket" }
60. p { id = "newticketerror" class = "message" ticketError }
61. }
62. }
63. }
64. if (needsLogin) { p { id = "ticketsloginhint" class = "muted" "Log in with ident (top right) to open a ticket." } }
65. if (hasTicketNotice) { p { id = "ticketnotice" class = "notice" ticketNotice } }
66. if (ticketsNone) { p { id = "noticketsyet" class = "empty" "No ticket yet in this project." } }
67. if (ticketsShown) {
68. ol { id = "ticketlist"
69. for (t of tickets) {
70. li {
71. a { class = "number" href = t.url "#" t.number }
72. a { class = "subject" href = t.url t.subject }
73. span { class = "state" t.state }
74. time { t.updated }
75. }
76. }
77. }
78. p { class = "muted" "Open a ticket to read and answer it in " a { id = "ticketsall" href = ticketsHref "tickets.worldapi.org" } "." }
79. if (ticketsTruncated) { p { id = "ticketstruncated" class = "muted" "Only the latest tickets are listed here." } }
80. }
81. }
82. }
83. }
84. }
86. on openIt(e) {
87. f = e.target.elements
88. r = emit server gitoriaOpenTicket(slug, f.subject.value, f.summary.value)
89. if (r == null || r.error != null) {
90. ticketError = r != null ? r.error : 'could not open the ticket'
91. return null
92. }
93. ticketError = ''
94. f.subject.value = ''
95. f.summary.value = ''
96. ticketNotice = 'Opened ticket #' + r.ticket.number + '.'
97. hasTicketNotice = true
98. addTicket(r.ticket)
99. }
101. addTicket = (row) => {
102. next = [row]
103. for (x of tickets) { if (x.number != row.number) { next.push(x) } }
104. tickets = next
105. ticketsShown = true
106. ticketsNone = false
107. }
109. // a ticket opened here by anyone: every open tickets page of that repo follows
110. on client ticketOpened(slugOf, row) {
111. if (!hasRepo || slugOf != slug) { return null }
112. addTicket(row)
113. }
115. // this session's tabs follow a login / name / logout (the shell's faces push them)
116. on client gitoriaSignedIn(tag, info) {
117. canCreate = repo != null && repo.ticketsOn && info.named
118. needsLogin = false
119. }
120. on client gitoriaSignedOut(tag) {
121. canCreate = false
122. needsLogin = repo != null && repo.ticketsOn
123. }
125. on server gitoriaOpenTicket(slugOf, subject, summary, session) {
126. if (repoAt(slugOf) == null) { return { error = 'no such repository' } }
127. u = userOfSession(session)
128. if (u == null) { return { error = 'log in with ident (top right) to open a ticket' } }
129. if (u.name == '') { return { error = 'choose a display name first (top of the page)' } }
130. r = openTicket(slugOf, u.identity, subject, summary)
131. if (r.error != null) { return { error = r.error } }
132. emit client ticketOpened(slugOf, r.ticket)
133. return r
134. }