ref: dd220a85bad4f7f11132cb503ee841a373b81575
parent: c30a7d5d2d04d27d647ec61ae02336a4d9c51358
author: Ori Bernstein <ori@eigenstate.org>
date: Thu Jun 8 17:08:39 EDT 2017
Part messages are unused. oops.
--- a/irc.myr
+++ b/irc.myr
@@ -128,7 +128,6 @@
| "PRIVMSG": recievemsg(cli, srv, src, args)
| "PING": send(cli, srv, "PONG :{}\r\n", args[0])| "JOIN": joined(cli, srv, src, args)
- | "PART": parted(cli, srv, src, args)
| c:
status(cli, "unknown server command {}\n", ln);;
@@ -150,23 +149,6 @@
match std.lsearch(c.users, name, std.strcmp)
| `std.None: std.slpush(&c.users, std.sldup(name))
| `std.Some _: /* ignore */
- ;;
- ;;
-}
-
-const parted = {cli, srv, src, args- var c, name
-
- if args.len == 1
- c = name2chan(srv, args[0])
- status(cli, "parted {}: {}\n", args[0], src)- match std.strfind(src, "!")
- | `std.Some i: name = src[:i]
- | `std.None: name = src
- ;;
- match std.lsearch(c.users, name, std.strcmp)
- | `std.None: /* ignore */
- | `std.Some i: std.sldel(&c.users, i)
;;
;;
}
--
⑨