Update server.ml : minor changes in displaying notifications