gitoria

5.7 KB

1. // lib/util.hl — small helpers every topic shares: env, the storage folder, the addresses (main / repo), lists, text
2. // checks, the newest-first sort, Vienna time. Statics only; no topic logic here.
3. import { env } from 'hl:proc'
4. import { timestamp } from 'hl:time'
6. // a newline (the language has no \n escape in a string: a literal line break, as in tickets mdview.hl)
7. static NL = "
8. "
10. // ---- env and storage -----------------------------------------------------------------------------
11. // Config (environment, or `.env` beside project.hl — never read or printed by workers)
12. static envOr = (name, fallback) => {
13. v = env(name)
14. return v != null && v.trim() != '' ? v.trim() : fallback
15. }
17. // THE TABLE DIRECTORY of every hl:mpackdb table (GITORIA_STORAGE, default ./storage/mpackdb). A relative path resolves
18. // against the ENTRY SCRIPT's directory (project.hl's) — a tool in tools/ must get an absolute one.
19. static storageDir = envOr('GITORIA_STORAGE', './storage/mpackdb')
21. // ---- the addresses: main = <scheme>://<hostport>, a repo = <scheme>://<slug>.<hostport> ---------
22. // GITORIA_PUBLIC_URL the main address, default https://gitoria.worldapi.org; repos live at <scheme>://<slug>.<host[:port] of this url>
23. static publicUrl = envOr('GITORIA_PUBLIC_URL', 'https://gitoria.worldapi.org')
24. static schemeEnd = publicUrl.indexOf('://')
25. static scheme = publicUrl.slice(0, schemeEnd)
26. static hostPort = publicUrl.slice(schemeEnd + 3).replaceAll('/', '')
27. static hostOnly = hostPort.split(':')[0]
28. static repoOrigin = (slug) => { return scheme + '://' + slug + '.' + hostPort }
30. // the session cookie's Domain: every <slug>.<host> shares the login. A host without a dot (localhost) or
31. // an IP address gets a host-only cookie. GITORIA_COOKIE_DOMAIN overrides ('-' = host-only).
32. static domainFor = (h) => {
33. given = env('GITORIA_COOKIE_DOMAIN')
34. if (given != null && given != '') { return given == '-' ? '' : given }
35. if (!h.includes('.')) { return '' }
36. last = h.charCodeAt(h.length - 1)
37. if (last >= 48 && last <= 57) { return '' }
38. return '.' + h
39. }
41. // THE REPO OF A REQUEST HOST (gitoria#16): hl:web hands a page component that declares `host = null` the
42. // request's Host without port (hybriel#74). '' = the main address (or any other host) → the repo list;
43. // else the label before .<hostOnly> (a slug that fails slugError, e.g. x.y, is "No such repository").
44. static slugOfHost = (h) => {
45. if (h == null || hlTypeName(h) != 'String') { return '' }
46. x = h.toLowerCase()
47. if (x == hostOnly) { return '' }
48. tail = '.' + hostOnly
49. return x.endsWith(tail) ? x.slice(0, x.length - tail.length) : ''
50. }
52. // ---- lists ---------------------------------------------------------------------------------------
53. // an empty list read from hl:mpackdb comes back without a `.length`: every found list goes through here
54. static countOfList = (list) => {
55. if (list == null) { return 0 }
56. n = list.length
57. return n == null ? 0 : n
58. }
59. static firstOf = (list) => { return countOfList(list) > 0 ? list[0] : null }
61. // rows newest first by `createdMs` (an insertion sort: no sort(), hybriel #1); sorts its copy and returns it
62. static newestFirst = (rows) => {
63. let i = 1
64. while (i < rows.length) {
65. let cur = rows[i]
66. let j = i - 1
67. while (j >= 0 && rows[j].createdMs < cur.createdMs) {
68. rows[j + 1] = rows[j]
69. j = j - 1
70. }
71. rows[j + 1] = cur
72. i = i + 1
73. }
74. return rows
75. }
77. // ---- text checks ---------------------------------------------------------------------------------
78. // a short one-line text: trimmed, at most `max` characters, no control characters → null or the complaint
79. static plainError = (s, max, what) => {
80. if (s == null || hlTypeName(s) != 'String') { return what + ' must be text' }
81. t = s.trim()
82. if (t.length > max) { return what + ' is too long (at most ' + max + ' characters)' }
83. let i = 0
84. while (i < t.length) {
85. let c = t.charCodeAt(i)
86. if (c < 32 || c == 127) { return what + ' must be one line without control characters' }
87. i = i + 1
88. }
89. return null
90. }
92. // only lowercase hex (ident's one-time codes are 48 hex)
93. static isHex = (s, max) => {
94. if (s == null || hlTypeName(s) != 'String' || s.length == 0 || s.length > max) { return false }
95. let i = 0
96. while (i < s.length) {
97. let c = s.charCodeAt(i)
98. if (!((c >= 48 && c <= 57) || (c >= 97 && c <= 102))) { return false }
99. i = i + 1
100. }
101. return true
102. }
104. // ---- Vienna time (ticket #10): epoch ms → "YYYY-MM-DD HH:MM" in Europe/Vienna ------------------------
105. // hl:time has no time zones (now() + a UTC timestamp() only; "timezones are a userland
106. // concern" — its header). This is the smallest correct userland rule for Vienna: the EU
107. // rule in force since 1996 — CEST (UTC+2) from the last Sunday of March 01:00 UTC to the
108. // last Sunday of October 01:00 UTC, CET (UTC+1) otherwise. Storage stays epoch ms (UTC);
109. // only the rendering shifts.
110. static DAY = 86400000
111. static HOUR = 3600000
113. // integer division for a >= 0 (the language has `%` but no floor in the core)
114. static idiv = (a, b) => { return (a - a % b) / b }
116. // days since 1970-01-01 of a civil date (H. Hinnant's days_from_civil, years >= 1970)
117. static daysFromCivil = (y, m, d) => {
118. yy = m <= 2 ? y - 1 : y
119. era = idiv(yy, 400)
120. yoe = yy - era * 400
121. mp = m > 2 ? m - 3 : m + 9
122. doy = idiv(153 * mp + 2, 5) + d - 1
123. doe = yoe * 365 + idiv(yoe, 4) - idiv(yoe, 100) + doy
124. return era * 146097 + doe - 719468
125. }
127. // the last Sunday of a 31-day month (March, October), 01:00 UTC, as epoch ms
128. static lastSundayAt1 = (y, m) => {
129. days = daysFromCivil(y, m, 31)
130. wd = (days + 4) % 7 // 0 = Sunday: 1970-01-01 was a Thursday
131. return (days - wd) * DAY + HOUR
132. }
134. static viennaOffset = (ms) => {
135. y = toNumber(timestamp(ms).slice(0, 4))
136. return ms >= lastSundayAt1(y, 3) && ms < lastSundayAt1(y, 10) ? 2 * HOUR : HOUR
137. }
139. // "YYYY-MM-DD HH:MM", Vienna wall time
140. static localStamp = (ms) => {
141. t = timestamp(ms + viennaOffset(ms))
142. return t.slice(0, 10) + ' ' + t.slice(11, 16)
143. }