c4d653ee7275f364b82d539bc58a9793248374eb,lib/streamlit/ScriptRunner.py,ScriptRunner,request_stop,#ScriptRunner#,109

Before Change

        if self.is_fully_stopped():
            pass
        else:
            self._set_state(State.STOP_REQUESTED)
            self._state_change_requested = True

    def request_pause_unpause(self):
        if self._state == State.PAUSED:

After Change

        self._event_queue.enqueue(ScriptEvent.RERUN, self._report)

    def request_stop(self):
        if self.is_shutdown():
            LOGGER.warning("Discarding STOP event after shutdown")
            return
        self._event_queue.enqueue(ScriptEvent.STOP)

    def request_shutdown(self):
        if self.is_shutdown():

Instances