Commit Graph

150 Commits

Author SHA1 Message Date
320ff4f2ec Fix admin toggle. 2023-07-03 16:41:36 +02:00
b2caff5123 Bulma: introduce some fields. 2023-07-03 15:05:40 +02:00
4522c22c42 Reset subdomain input when sending a NewDomain message. 2023-07-03 13:46:34 +02:00
cbaeaf8ee2 Slight code simplification. 2023-07-03 13:38:21 +02:00
62347d40b2 Domain can be deleted - with automatic update of the own domain list. 2023-07-03 12:17:44 +02:00
99fb18c57a Can now delete a domain. No automatic domain list update. 2023-07-03 04:31:00 +02:00
e0fc55e5ca Put websocket info in a dedicated record. 2023-07-03 04:04:14 +02:00
15e407972a Remove another big chunk of code. 2023-07-03 03:50:51 +02:00
026e3f055a Remove a massive amount of redundant code. 2023-07-03 03:45:08 +02:00
87731bf061 Removing useless imports. 2023-07-03 03:39:01 +02:00
771573ec5c App.Utils. 2023-07-03 03:23:02 +02:00
3dddbf6990 (minor) remove a useless line. 2023-07-03 00:20:55 +02:00
850d61678a Add a "." between the subdomain and domain names, only when needed. 2023-07-02 23:50:19 +02:00
02f312b447 WS info in a record: code is now clearer. 2023-07-02 23:32:31 +02:00
ad6a64d78a Type simplification. 2023-07-02 22:12:39 +02:00
e9808e70f1 Create a subdomain based on the selected domain. 2023-07-02 00:10:14 +02:00
8d32f9933b Let's select a domain! 2023-07-02 00:05:38 +02:00
8fe25f8aca Bulma select. 2023-07-01 17:32:15 +02:00
81bdec302c DomainAdded message. List of domains auto-update when adding a message. 2023-07-01 16:03:29 +02:00
a1c1c462c9 Show acceptable domains and my own domains. 2023-06-30 01:56:40 +02:00
e77829b7a6 DNSManager: add some error messages. 2023-06-30 01:10:52 +02:00
ad7ee31806 Minor DNSManager API change. 2023-06-27 13:11:59 +02:00
b20504dfb9 Messages are sent and received, but something fails. 2023-06-18 02:34:52 +02:00
7dc993ae26 WIP 2023-06-18 02:11:16 +02:00
de88796773 DNSManager Interface: first draft (WIP). 2023-06-18 01:10:36 +02:00
2352d2a3bb DNSManager interface: WIP. 2023-06-17 20:22:37 +02:00
1457e7bf7c Put the signature for codecs. 2023-06-17 18:16:52 +02:00
2ad1ede8f1 Reorder some messages. 2023-06-17 18:08:09 +02:00
ffecb63c8d DNSManager messages: mostly done. Build is okay. 2023-06-17 18:07:24 +02:00
7f50ad1ffe DNSManager messages: still WIP. 2023-06-17 16:04:26 +02:00
6fb46022fe DNSManager network: WIP 2023-06-16 18:54:07 +02:00
d7f6bd225a Take new reponse into account: UserDeleted 2023-06-14 18:40:42 +02:00
fba25826de Updated Authentication Daemon messages API (reponses). 2023-06-14 03:23:23 +02:00
c8c52ea408 An admin can now create an admin user. 2023-06-13 20:17:27 +02:00
597243a9f5 New authd API on request functions: complete. Still subject to changes, though. 2023-06-13 19:49:38 +02:00
82902c20b0 Messages/AuthenticationDaemon updated: simpler requesting API for authd. 2023-06-13 14:28:38 +02:00
9f81166110 GetToken -> Login 2023-06-10 18:30:31 +02:00
fc24bdac68 Change messages. 2023-06-09 02:54:57 +02:00
46de4c6026 Authd admin interface: bulma ftw! 2023-06-09 01:55:37 +02:00
b4bc1f8f77 Authentication and registration forms: updated to new Bulma module. 2023-06-09 01:40:31 +02:00
4d73afa642 Bulma now has some input boxes. 2023-06-09 00:28:03 +02:00
48a9a55533 Add untested because I'm lazy, lol 2023-06-08 22:00:53 +02:00
987133954f Bulma CSS style: WIP. 2023-06-08 21:51:12 +02:00
3831b275b4 Administrative interface for authd now in a new container. 2023-06-08 18:13:59 +02:00
7576bc682c Remove useless example code (child components A B and C). 2023-06-08 16:38:39 +02:00
5f13307d86 UserAdded: message was correctly parsed after all. 2023-06-04 02:01:50 +02:00
6c69eaea5a Code in now way clearer. 2023-06-04 01:24:05 +02:00
0bdef754ae AddUser (WIP: working but UserAdded answer isn't parsed properly). 2023-06-03 03:50:54 +02:00
17b07ada18 Users can now register (but currently no validation). 2023-06-03 01:53:58 +02:00
57367168ae Register: new form inputs. 2023-06-03 00:54:18 +02:00
c42cbbeb8a Authentication form now informs when there is a failed authentication attempt. 2023-06-02 20:05:03 +02:00
7804dd6647 AuthForm: WS disconnection on successful authentication. 2023-06-02 00:53:01 +02:00
e44b1aebe9 Very slight code simplification. 2023-06-02 00:27:24 +02:00
dc523d0c5f Successful authentication removes authentication form rendering. 2023-06-02 00:10:08 +02:00
361558f9f1 Authentication form is rendered only if no Token. Component output TODO. 2023-06-01 03:20:53 +02:00
39bc79d05c A few more request messages. 2023-06-01 02:19:18 +02:00
0b09cefa57 A few more messages. 2023-06-01 01:14:39 +02:00
84d285c9e9 Add a few requet message codecs (WIP). 2023-05-31 02:42:53 +02:00
5b08ba5b54 PermissionLevel: codec fixed. 2023-05-31 00:22:38 +02:00
5e6edd2f7f Grooming. 2023-05-30 23:13:24 +02:00
ea0046783b Simplify a few things. 2023-05-30 16:42:52 +02:00
d668f297dc Remove useless module. 2023-05-29 20:44:16 +02:00
a51b943f84 AlternativeMain, to test stuff (currently sum types JSON encoding). 2023-05-27 17:04:23 +02:00
bc5c7d3fde Grooming. 2023-05-27 15:56:28 +02:00
f66aba1c41 Received messages codecs are okay-ish (some properties are missing in UserPublic module). 2023-05-27 13:35:44 +02:00
d12278be30 New decoded messages: permissions! 2023-05-27 13:24:52 +02:00
20b3a5aeb2 Grooming for the PermissionLevel module. 2023-05-27 13:01:23 +02:00
9d3e139b52 Parse PermissionLevel (a simple sum data type). 2023-05-27 12:26:03 +02:00
d17e29c1f5 Decode a few other message types. 2023-05-27 00:58:18 +02:00
e80b71c0cd Codecs, Codecs everywhere! 2023-05-26 01:39:50 +02:00
2d269d088c Parsing JSON messages: FIXED. 2023-05-25 00:07:59 +02:00
0671e1780c Pretty print. 2023-05-23 02:50:08 +02:00
78e1922178 Print JSON message when there is a parsing problem. 2023-05-23 01:15:23 +02:00
29ee6f9a87 Main only starts App.Container. 2023-05-22 20:02:53 +02:00
b4f5a4aefa re: better with the attached files. 2023-05-22 16:38:31 +02:00
48006c37e8 Multiple components: still WIP but compiling. 2023-05-22 16:23:21 +02:00
778a51604b Authentication form: improved. 2023-05-22 02:11:40 +02:00
c94456e8f4 Removing warnings. 2023-05-22 00:42:44 +02:00
df11d8e7aa Compiles again. 2023-05-21 22:10:20 +02:00
089ba00c58 decodeAnswerMessage doesn't work atm. 2023-05-21 20:39:33 +02:00
ce57643cec Minor changes (mostly comments). 2023-05-21 18:08:41 +02:00
0d99e00e93 IPC: final message format (typed messages) is implemented. 2023-05-21 16:04:43 +02:00
faa258b54e Playing with AuthD messages. WIP. 2023-05-21 02:52:15 +02:00
e19ff224b0 New way to handle messages. Still very much WIP. 2023-05-21 02:13:09 +02:00
864b5f24ee First try at doing JSON stuff. 2023-05-21 00:32:08 +02:00
65f93904c0 No more redundant imports. 2023-05-20 00:48:49 +02:00
20ba8f9144 Comments. 2023-05-20 00:36:17 +02:00
ca93e11fb4 Parse errors are now taken into account. 2023-05-20 00:31:01 +02:00
c94a509f0d Project now compiles. 2023-05-19 23:50:24 +02:00
618998cd68 IPC: new version, currently not compiling (WIP). 2023-05-19 23:43:44 +02:00
e1d49f1048 Remove useless JSON stuff, replace it with ArrayBuffer serialization. 2023-05-19 15:45:41 +02:00
20207e7e73 Starting point. 2023-05-19 01:06:39 +02:00
Raptazure
4975e73125
Update to PureScript 0.14 and Halogen 6 (#29) 2021-03-09 12:02:04 -08:00
Thomas Honeyman
93c34f2214
Update template for Halogen 5 and Spago (#23)
Update template for Halogen 5 and Spago
2020-05-10 10:32:46 -04:00
Kamil Braun
ea82a8738d Update dependencies for PureScript 0.12 2018-07-27 19:14:36 +02:00
Gary Burgess
5aa4fa846c Update for Halogen 1.0.0 2017-02-28 00:31:13 +00:00
Gary Burgess
888c339023 Update for latest Halogen and PureScript 0.9.1 2016-06-25 18:34:02 +01:00
Gary Burgess
3dfd6cb632 Update build 2016-03-24 17:25:47 +00:00
Stefan Holzmüller
7abfa4f04b migrated to halogen 0.6 2016-03-24 17:48:29 +01:00
Gary Burgess
d3630e7a77 Initial commit 2016-01-18 21:19:35 +00:00