@@ -754,6 +754,7 @@ def on_terminate_application(self, event):
754754 def on_terminate_tools (self , event ):
755755
756756 self .tools_launcher .terminate ()
757+ self .tools_launcher = None
757758
758759 def on_terminate_universe (self , event ):
759760 """
@@ -767,8 +768,11 @@ def on_terminate_universe(self, event):
767768 """
768769 if self .world_launcher is not None :
769770 self .world_launcher .terminate ()
771+ self .world_launcher = None
772+ self .world_type = None
770773 if self .robot_launcher is not None :
771774 self .robot_launcher .terminate ()
775+ self .robot_launcher = None
772776
773777 def on_disconnect (self , event ):
774778 """
@@ -778,11 +782,6 @@ def on_disconnect(self, event):
778782 terminates launchers, and restarts the script.
779783 """
780784
781- try :
782- self .consumer .stop ()
783- except Exception as e :
784- LogManager .logger .exception ("Exception stopping consumer" )
785-
786785 if self .application_process :
787786 try :
788787 stop_process_and_children (self .application_process )
@@ -808,10 +807,6 @@ def on_disconnect(self, event):
808807 except Exception as e :
809808 LogManager .logger .exception ("Exception terminating world launcher" )
810809
811- # Reiniciar el script
812- python = sys .executable
813- os .execl (python , python , * sys .argv )
814-
815810 def process_message (self , message ):
816811 if message .command == "gui" :
817812 self .tools_launcher .pass_msg (message .data )
0 commit comments