confirmed error-recovery in a few more parts

akkartik
Nov 17, 2023, 8:28 PM
JNFEDGVZ43TNVUGEJE52D6DRNZ4Y3PQUG6H66MDQDU2DJI7SMZTAC

Dependencies

  • [2] 5WHW3IDO fix initialization errors using driver.love
  • [3] LDMKBYNY clean up a stale manual test
  • [4] DTBFNHJD manual tests for the protocol with the driver
  • [*] BJ5X5O4A let's prevent the text cursor from ever getting on a drawing

Change contents

  • replacement in Manual_tests.md at line 65
    [3.1426][2.1208:1262]()
    Driver can connect to app on errors in on.initialize.
    [3.1426]
    [3.1426]
    Driver can connect to app on errors in on.initialize (and `on.load_settings`).
  • replacement in Manual_tests.md at line 67
    [3.1501][2.1263:1317]()
    driver, define on.initialize with a run-time error:
    [3.1501]
    [2.1317]
    driver, define `on.initialize` with a run-time error:
  • replacement in Manual_tests.md at line 83
    [2.1703][2.1703:1757]()
    driver, define on.initialize with a run-time error:
    [2.1703]
    [2.1757]
    driver, define `on.initialize` with a run-time error:
  • edit in Manual_tests.md at line 93
    [2.2000]
    [2.2000]
    Driver can connect to app on errors in `on.quit` (and `on.save_settings`).
    * clone this repo to a new client app, clear its save dir, run it, run the
    driver, define `on.quit` with a run-time error:
    ```
    on.quit = function()
    foo = bar+1
    end
    ```
    Hit F4.
    Try to quit the client app. It shows an error and refuses to quit.
    Edit `on.quit` in the driver and remove the error:
    ```
    on.quit = function()
    end
    ```
    Hit F4. The error disappears from the app and driver.
    Try to quit the client app. Now the quit succeeds.
    * clone this repo to a new client app, clear its save dir, run it, run the
    driver, define `on.quit` with a run-time error:
    ```
    on.quit = function()
    foo = bar+1
    end
    ```
    Hit F4.
    Try to quit the client app. It shows an error and refuses to quit.
    Hit F4 again in the driver (without fixing the error).
    Try to quit the client app again. It continues to show the error.