rename Irc_server to just Server
This commit is contained in:
parent
c4be8f45a8
commit
9b144cb712
2
bin/dune
2
bin/dune
|
@ -3,4 +3,4 @@
|
|||
(name main)
|
||||
(libraries
|
||||
lwt lwt.unix logs fmt
|
||||
irc_server))
|
||||
server))
|
||||
|
|
|
@ -2,7 +2,7 @@ Logs.set_level (Some Debug);
|
|||
Logs.set_reporter (Logs.format_reporter ());
|
||||
|
||||
Lwt_main.run
|
||||
(Irc_server.run {
|
||||
(Server.run {
|
||||
port = 6667;
|
||||
tcp_listen_backlog = 8
|
||||
})
|
||||
|
|
|
@ -1,7 +1,5 @@
|
|||
(library
|
||||
(package talircd)
|
||||
(name irc_server)
|
||||
; (inline_tests)
|
||||
; (preprocess (pps ppx_expect ppx_deriving.show))
|
||||
(name server)
|
||||
(libraries
|
||||
lwt lwt.unix logs fmt irc))
|
||||
|
|
Loading…
Reference in New Issue