@@ -181,6 +181,7 @@ def render(args, run_state: RunState, event_bus: EventBus, default_log_level: st
181181 render_choices ,
182182 system_config .client_version ,
183183 run_state .render_id ,
184+ on_cancel = run_state .set_render_cancelled ,
184185 css_path = "styles.css" ,
185186 )
186187 render_choice = app .run ()
@@ -189,6 +190,7 @@ def render(args, run_state: RunState, event_bus: EventBus, default_log_level: st
189190 and render_choice .render_range is None
190191 and render_choice .choice_type == "quit"
191192 ):
193+ run_state .set_render_cancelled ()
192194 sys .exit (0 )
193195 elif ask_user and args .headless :
194196 # ignore the default choice if it requires user input due to headless mode
@@ -217,7 +219,7 @@ def run_render():
217219 try :
218220 module_renderer .render_module ()
219221 except RenderCancelledError :
220- pass # TUI already closed, nothing to report
222+ run_state . set_render_cancelled () # TUI already closed, nothing to report
221223 except Exception as e :
222224 run_state .set_render_succeeded (False )
223225 render_error .append (e )
@@ -228,8 +230,7 @@ def run_render():
228230 try :
229231 module_renderer .render_module ()
230232 except RenderCancelledError :
231- run_state .set_render_succeeded (False )
232- pass
233+ run_state .set_render_cancelled ()
233234 return
234235 else :
235236 render_thread = threading .Thread (target = run_render , daemon = True )
@@ -242,6 +243,7 @@ def run_render():
242243 prepare_environment_script = args .prepare_environment_script ,
243244 state_machine_version = system_config .client_version ,
244245 enter_pause_event = enter_pause_event ,
246+ on_cancel = run_state .set_render_cancelled ,
245247 default_log_level = default_log_level ,
246248 css_path = "styles.css" ,
247249 )
0 commit comments