 epicmorphism
|
f428297a5f
add the STATS command
|
4 anni fa |
|
epicmorphism
|
c596677df1
Implement PINGs and timeouts
|
4 anni fa |
|
epicmorphism
|
57d04dc00e
update README
|
4 anni fa |
|
epicmorphism
|
3df5eb4c0a
typecheck chat.rkt
|
4 anni fa |
|
epicmorphism
|
c47b17027d
use the typed api in ircd.rkt
|
4 anni fa |
|
epicmorphism
|
77a128e6a1
typing api.rkt
|
4 anni fa |
|
epicmorphism
|
a95f9a8b15
add some URLs
|
4 anni fa |
|
epicmorphism
|
5c079c9790
fixing a bug in the irc parser
|
4 anni fa |
|
epicmorphism
|
7cb3ba6eeb
typecheck ircd.rkt
|
4 anni fa |
|
epicmorphism
|
3508ffa3f1
typed websockets and IRC commands
|
4 anni fa |
|
epicmorphism
|
e1673dd5e0
update docs
|
4 anni fa |
|
epicmorphism
|
1a6204dff5
Propert TOPIC handling
|
4 anni fa |
|
epicmorphism
|
ee3b98e7bd
Fix logging
|
4 anni fa |
|
epicmorphism
|
dfdfe5ad2a
implement WHOIS
|
4 anni fa |
|
epicmorphism
|
1498b303a8
shut down he irc connection when websocket dies
|
4 anni fa |
|
epicmorphism
|
f19449503b
proper (?) handling of PINGs
|
4 anni fa |
|
epicmorphism
|
03b5725990
Be more careful with parsing leftover lines
|
4 anni fa |
|
epicmorphism
|
18ad9546d9
Graceful handling of messages that cannot be parsed
|
4 anni fa |
|
epicmorphism
|
b55755c67a
unheck the html
|
4 anni fa |
|
epicmorphism
|
80984de649
receive /NAMES properly (kinda?? lol)
|
4 anni fa |
|
epicmorphism
|
d23a434b79
fix the JOIN/PARTs bugs
|
4 anni fa |
|
epicmorphism
|
10b4095df0
update docs & messages
|
4 anni fa |
|
epicmorphism
|
bb482d7d83
process incoming nick changes
|
4 anni fa |
|
epicmorphism
|
45d65ad0db
receive JOIN/PARTs from movienight
|
4 anni fa |
|
epicmorphism
|
bf939eb653
bump readme
|
4 anni fa |
|
epicmorphism
|
1a892fa623
clarify logging situation
|
4 anni fa |
|
epicmorphism
|
8598fdb582
better MOTD
|
4 anni fa |
|
epicmorphism
|
c44a9a54d7
command line options
|
4 anni fa |
|
epicmorphism
|
c80e431a54
update the readme
|
4 anni fa |
|
epicmorphism
|
66919574dc
rewriting the ircd
|
4 anni fa |
