comment out mit ket server