|
|
afe576a557
|
Coding style corrections.
|
2023-07-08 04:00:32 +02:00 |
|
|
|
ed4ac04c28
|
Bulma: provide remaining signatures.
|
2023-07-08 03:47:13 +02:00 |
|
|
|
e4fbe59a3b
|
Clearer netlib.re navbar.
|
2023-07-08 02:59:30 +02:00 |
|
|
|
46d9352a16
|
Bulma cleaning (WIP). Removing some useless stuff.
|
2023-07-08 02:00:23 +02:00 |
|
|
|
7c88287f2b
|
Oopsie.
|
2023-07-08 01:52:09 +02:00 |
|
|
|
dac8067508
|
CSS classes in a separate module.
|
2023-07-08 01:50:11 +02:00 |
|
|
|
ac9492b62e
|
Decorative navbar.
|
2023-07-08 00:22:23 +02:00 |
|
|
|
caaefcca3e
|
Show the URL of the WS connection.
|
2023-07-07 20:29:49 +02:00 |
|
|
|
0fb4fcd608
|
Style (minor). Are sections even useful?
|
2023-07-05 07:14:49 +02:00 |
|
|
|
9f4600b1e8
|
Style, again. Improved DomainList UI.
|
2023-07-05 07:00:42 +02:00 |
|
|
|
de52e40036
|
Style.
|
2023-07-05 06:50:30 +02:00 |
|
|
|
53fdefd790
|
New LogMessage structure.
|
2023-07-05 04:49:32 +02:00 |
|
|
|
d99e38d1b8
|
Some name changes (+ fix).
|
2023-07-05 04:18:01 +02:00 |
|
|
|
fb7c07e64d
|
Change some names.
|
2023-07-05 03:52:28 +02:00 |
|
|
|
85df40cc23
|
Better message routing.
|
2023-07-05 03:45:45 +02:00 |
|
|
|
634b30bbf5
|
Change some log messages.
|
2023-07-05 03:18:01 +02:00 |
|
|
|
5ed167d8bb
|
NewDomainInterface is now connected to the other components.
|
2023-07-05 02:38:20 +02:00 |
|
|
|
a145577791
|
Compiles again! :)
|
2023-07-05 02:06:57 +02:00 |
|
|
|
07008d9038
|
WIP: CAN'T BE COMPILED. WILL BE SOON FIXED.
|
2023-07-04 13:14:04 +02:00 |
|
|
|
c2569bc959
|
Small code reduction.
|
2023-07-04 04:50:07 +02:00 |
|
|
|
b061c0b18e
|
Remove printing messages in AuthenticationDaemonAdminInterface.
|
2023-07-04 04:49:22 +02:00 |
|
|
|
3be96bd436
|
Log all authentication form messages.
|
2023-07-04 03:26:09 +02:00 |
|
|
|
7c9f5a7a56
|
UX
|
2023-07-04 03:11:02 +02:00 |
|
|
|
6d4268820d
|
Log component!
|
2023-07-04 02:58:17 +02:00 |
|
|
|
51f5ba79f1
|
A single component for WS, another one for messages. WIP!
|
2023-07-03 20:32:46 +02:00 |
|
|
|
88aa805613
|
WS component (WIP).
|
2023-07-03 18:03:47 +02:00 |
|
|
|
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 |
|
