gitoria

3.3 KB

1. // components/settings.hl — THE SETTINGS of a repo (gitoria#18): `/settings` on <slug>.<domain>. For now one section,
2. // "Tickets": connect the repo to a tickets.worldapi.org project (the owner clicks "Tickets: connect", tickets asks which
3. // project, and brings them back — project.hl /settings/connect and /settings/connected; tickets.hl). Anyone sees
4. // whether the repo is connected; only the owner sees the buttons. Rendered on the server from the request's host.
5. // (The main branch is switched on the code page.)
6. parent './main.hl'
7. import { siteName } from '../project.hl'
8. import RepoHead from './repohead.hl'
9. import { repoAt, pageTitle, ownsRepo, setTicketsConnection } from '../repos.hl'
10. import { slugOfHost, userOfSession } from '../users.hl'
11. import { ticketsUrl } from '../tickets.hl'
13. host = null
14. session = null
15. slug = slugOfHost(host)
16. repo = repoAt(slug)
17. hasRepo = repo != null
18. isOwner = repo != null && ownsRepo(slug, session)
19. connected = repo != null && repo.ticketsOn
20. notConnected = repo != null && !repo.ticketsOn
21. projectTitle = repo != null ? repo.ticketsTitle : ''
22. projectHref = repo != null && repo.ticketsOn ? ticketsUrl + '/projects/' + repo.ticketsProject : ''
23. connectNote = session != null && session.data != null && session.data.connectNote != null ? session.data.connectNote : ''
24. hasConnectNote = connectNote != ''
25. notOwnerHint = repo != null && !isOwner
26. settingsError = ''
27. forgetClass = repo != null && repo.ticketsOn ? 'quiet' : 'nomerge'
28. __title = pageTitle(siteName, slug, 'Settings')
30. View {
31. repoPage {
32. RepoHead { }
33. if (hasRepo) {
34. repoSettings { id = "settings"
35. section { id = "ticketsettings"
36. h2 { "Tickets" }
37. if (hasConnectNote) { p { id = "connectnote" class = "message" connectNote } }
38. if (connected) {
39. p { id = "connectedto" "Connected to the tickets project " a { id = "projectlink" href = projectHref projectTitle } "." }
40. }
41. if (notConnected) { p { id = "notconnected" class = "muted" "This repository is not connected to a tickets project yet." } }
42. if (isOwner) {
43. p {
44. a { id = "connecttickets" class = "button" href = "/settings/connect" "Tickets: connect" }
45. }
46. button { id = "disconnecttickets" class = forgetClass type = "button" "Forget the connection" on click(e) { emit disconnect() } }
47. p { class = "muted" "Connecting asks tickets which project (you must be its admin there). Tickets can also disconnect gitoria from its side." }
48. }
49. if (notOwnerHint) { p { id = "ownerhint" class = "muted" "Only the owner of this repository can connect it." } }
50. p { id = "settingserror" class = "message" settingsError }
51. }
52. }
53. }
54. }
55. }
57. on disconnect() {
58. settingsError = ''
59. let r = emit server gitoriaDisconnectTickets(slug)
60. if (r == null || r.error != null) {
61. settingsError = r != null ? r.error : 'could not disconnect'
62. return null
63. }
64. connected = false
65. notConnected = true
66. forgetClass = 'nomerge'
67. projectTitle = ''
68. projectHref = ''
69. }
71. on server gitoriaDisconnectTickets(slugOf, session) {
72. if (session == null || repoAt(slugOf) == null) { return { error = 'could not disconnect' } }
73. if (userOfSession(session) == null || !ownsRepo(slugOf, session)) { return { error = 'only the owner can change this' } }
74. let r = setTicketsConnection(slugOf, '', '', '', '')
75. if (r.error != null) { return { error = r.error } }
76. return { ok = true }
77. }