used for cleanup of server.js