Rm server.log file, which is now obsolete.