Make Terminado stoppable

lib/tfw/components/terminado_mini_server.py

@@ -45,6 +45,9 @@ class TerminadoMiniServer:
     def listen(self):
         self.application.listen(self.port)
 
+    def stop(self):
+        self.term_manager.shutdown()
+
 
 if __name__ == '__main__':
     LOG.info('Terminado Mini Server listening on %s', TFWENV.TERMINADO_PORT)

lib/tfw/components/terminal_event_handler.py

@@ -83,5 +83,6 @@ class TerminalEventHandler(EventHandlerBase):
         return data
 
     def cleanup(self):
+        self.terminado_server.stop()
         if self.historymonitor:
             self.historymonitor.stop()