 epi
|
65a523467f
UwU
|
4 years ago |
|
epicmorphism
|
1bb8cc7cf5
handling of command-errors
|
4 years ago |
|
epicmorphism
|
c2659ae51f
better and cleaner irc-functions/read-from-client
|
4 years ago |
|
epicmorphism
|
17251045eb
Handle nick collisions
|
4 years ago |
|
epicmorphism
|
ec8b38ac55
fix main
|
4 years ago |
|
epicmorphism
|
b7712d2f1f
hacking together a version with multiple channels
|
4 years ago |
|
epicmorphism
|
e13e0d136d
Make channels & custodian part of the irc-connection state
|
4 years ago |
|
epicmorphism
|
aa4ba67a2e
connect the websockets only on channel join
|
4 years ago |
|
epicmorphism
|
09512f7a7d
tidy readme
|
4 years ago |
|
epicmorphism
|
9149384d8d
use the `define-predicate` trick
|
4 years ago |
|
epicmorphism
|
abd866e3d7
add /MOTD
|
4 years ago |
|
epicmorphism
|
f428297a5f
add the STATS command
|
4 years ago |
|
epicmorphism
|
c596677df1
Implement PINGs and timeouts
|
4 years ago |
|
epicmorphism
|
57d04dc00e
update README
|
4 years ago |
|
epicmorphism
|
3df5eb4c0a
typecheck chat.rkt
|
4 years ago |
|
epicmorphism
|
c47b17027d
use the typed api in ircd.rkt
|
4 years ago |
|
epicmorphism
|
77a128e6a1
typing api.rkt
|
4 years ago |
|
epicmorphism
|
a95f9a8b15
add some URLs
|
4 years ago |
|
epicmorphism
|
5c079c9790
fixing a bug in the irc parser
|
4 years ago |
|
epicmorphism
|
7cb3ba6eeb
typecheck ircd.rkt
|
4 years ago |
|
epicmorphism
|
3508ffa3f1
typed websockets and IRC commands
|
4 years ago |
|
epicmorphism
|
e1673dd5e0
update docs
|
4 years ago |
|
epicmorphism
|
1a6204dff5
Propert TOPIC handling
|
4 years ago |
|
epicmorphism
|
ee3b98e7bd
Fix logging
|
4 years ago |
|
epicmorphism
|
dfdfe5ad2a
implement WHOIS
|
4 years ago |
|
epicmorphism
|
1498b303a8
shut down he irc connection when websocket dies
|
4 years ago |
|
epicmorphism
|
f19449503b
proper (?) handling of PINGs
|
4 years ago |
|
epicmorphism
|
03b5725990
Be more careful with parsing leftover lines
|
5 years ago |
|
epicmorphism
|
18ad9546d9
Graceful handling of messages that cannot be parsed
|
5 years ago |
|
epicmorphism
|
b55755c67a
unheck the html
|
5 years ago |
