Start server when read idris file