File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -876,39 +876,8 @@ def signal_handler(sign, frame):
876876 self .gui_server .stop ()
877877 except Exception as e :
878878 LogManager .logger .exception ("Exception stopping GUI server" )
879- try :
880- self .consumer .stop ()
881- except Exception as e :
882- LogManager .logger .exception ("Exception stopping consumer" )
883-
884- if self .application_process :
885- try :
886- stop_process_and_children (self .application_process )
887- self .application_process = None
888- except Exception as e :
889- LogManager .logger .exception (
890- "Exception stopping application process"
891- )
892879
893- if self .visualization_launcher :
894- try :
895- self .visualization_launcher .terminate ()
896- except Exception as e :
897- LogManager .logger .exception (
898- "Exception terminating visualization launcher"
899- )
900-
901- if self .robot_launcher :
902- try :
903- self .robot_launcher .terminate ()
904- except Exception as e :
905- LogManager .logger .exception ("Exception terminating world launcher" )
906-
907- if self .world_launcher :
908- try :
909- self .world_launcher .terminate ()
910- except Exception as e :
911- LogManager .logger .exception ("Exception terminating world launcher" )
880+ self .on_disconnect (None )
912881
913882 signal .signal (signal .SIGINT , signal_handler )
914883
You can’t perform that action at this time.
0 commit comments