Update server.ml : minor bugs in TALK/LISTEN commands fixed