karchnu

karchnu pushed to dev at karchnu/halogen-websocket-ipc-playzone

2024-02-11 15:36:24 +01:00

3f2573831a Registration: validation works.

karchnu pushed to dev at karchnu/halogen-websocket-ipc-playzone

2024-02-10 20:29:33 +01:00

9a19462a99 Validate login (alphanum), email, password (vchar).

karchnu pushed to dev at karchnu/halogen-websocket-ipc-playzone

2024-02-10 18:11:33 +01:00

dc7ee7d250 WIP: validation for the email address at registration.

karchnu pushed to master at Baguette/parser

2024-02-10 16:51:15 +01:00

e290d1a73d Export RFC5322 parser.

karchnu pushed to master at Baguette/parser

2024-02-10 16:05:52 +01:00

49eb615b79 Fix comments related to RFC5322.

67e318b949 Split EmailAddress and RFC5322.

Compare 2 commits »

karchnu pushed to master at Baguette/parser

2024-02-10 15:45:23 +01:00

624bd549f3 Again, error naming.

karchnu pushed to master at Baguette/parser

2024-02-10 15:37:39 +01:00

51bdcc3ba4 IP addresses: slight change in errors naming.

karchnu pushed to dev at karchnu/halogen-websocket-ipc-playzone

2024-02-10 03:11:04 +01:00

329d84e6f9 Change a few names, split authentication and registration.

karchnu pushed to dev at karchnu/halogen-websocket-ipc-playzone

2024-02-09 05:37:50 +01:00

41b4511a94 Use (#) instead of ($) for multi-line function chaining.

karchnu pushed to dev at karchnu/halogen-websocket-ipc-playzone

2024-02-09 02:13:53 +01:00

42192fb9e9 Better rendition of the zone content (empty line between record groups).

karchnu pushed to dev at karchnu/halogen-websocket-ipc-playzone

2024-02-08 20:20:47 +01:00

412a06d10b Page reload: DONE!

karchnu pushed to dev at karchnu/halogen-websocket-ipc-playzone

2024-02-07 20:46:35 +01:00

7544cb90ee WIP: automatic re-authentication to dnsmanagerd on page reload.

karchnu pushed to dev at karchnu/halogen-websocket-ipc-playzone

2024-02-07 16:48:31 +01:00

c9c1b81912 WS Module comments.

karchnu pushed to dev at karchnu/halogen-websocket-ipc-playzone

2024-02-07 05:01:03 +01:00

5a987a524c Better display of resource records.

karchnu pushed to dev at karchnu/halogen-websocket-ipc-playzone

2024-02-07 04:00:44 +01:00

4f785e6dcc Largely simplify the Bulma module.

karchnu pushed to dev at karchnu/halogen-websocket-ipc-playzone

2024-02-06 04:21:41 +01:00

32fe44e34c Massive code removal!

karchnu pushed to dev at karchnu/halogen-websocket-ipc-playzone

2024-02-06 04:21:15 +01:00

e63bfdca3c DROP: add some examples of Regex uses, that will be removed from production code.

4813d5dd60 Remove RR.purs (now useless).

Compare 2 commits »

karchnu pushed to dev at karchnu/halogen-websocket-ipc-playzone

2024-02-06 03:21:03 +01:00

6367bf8a86 ZoneInterface: the interface change is almost complete.

karchnu pushed to dev at karchnu/halogen-websocket-ipc-playzone

2024-02-05 23:29:39 +01:00

cf6370640d WIP: replacing the dedicated records with ResourceRecord. Compiles again!

karchnu pushed to dev at karchnu/halogen-websocket-ipc-playzone

2024-02-05 19:32:27 +01:00

0cc1fec90b WIP: switching to ResourceRecord everywhere. Cannot compile ATM.