Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Catch 5813 and avoid crash #6585

Merged
merged 3 commits into from
May 5, 2023
Merged

Catch 5813 and avoid crash #6585

merged 3 commits into from
May 5, 2023

Conversation

kazcw
Copy link
Contributor

@kazcw kazcw commented May 5, 2023

Pull Request Description

Avoid crashing when bug #5813 occurs.

Important Notes

I have profiled this, and found that validating the HTML takes 0.5% as much time as generating it.

Checklist

Please ensure that the following checklist has been satisfied before submitting the PR:

  • The documentation has been updated, if necessary.
  • Screenshots/screencasts have been attached, if there are any visual changes. For interactive or animated visual changes, a screencast is preferred.
  • All code follows the
    Scala,
    Java,
    and
    Rust
    style guides. In case you are using a language not listed above, follow the Rust style guide.
  • All code has been tested:
    • Unit tests have been written where possible.
    • If GUI codebase was changed, the GUI was tested when built using ./run ide build.

@kazcw kazcw requested a review from MichaelMauderer as a code owner May 5, 2023 14:27
@kazcw kazcw self-assigned this May 5, 2023
@kazcw kazcw requested review from wdanilo and farmaazon as code owners May 5, 2023 14:27
@kazcw kazcw added the CI: No changelog needed Do not require a changelog entry for this PR. label May 5, 2023
@kazcw
Copy link
Contributor Author

kazcw commented May 5, 2023

CI seems blocked on #6583

@kazcw kazcw added the CI: Ready to merge This PR is eligible for automatic merge label May 5, 2023
@wdanilo wdanilo merged commit c957581 into develop May 5, 2023
@wdanilo wdanilo deleted the wip/kw/catch-5813 branch May 5, 2023 17:53
Procrat added a commit that referenced this pull request May 10, 2023
* develop: (28 commits)
  Add tests for Date.until, Date.next and Date.previous. (#6606)
  Improve `Non_Unique_Primary_Key` error, split file format detection into read/write, improve SQLite format detection (#6604)
  tokenize_to_columns or parse_to_columns results in a single column we shouldn't add the  1 (#6607)
  Fix node editing race condition (#6594)
  Add format to the in-memory Column (#6538)
  Fix dashboard issues (part 2) (#6511)
  Fix visualisation type selector artifacts rendered after node preview visualisation was closed. (#6575)
  Revert typescript CI Lint changes (#6602)
  Fix the Engine version check in GUI (#6570)
  Show error pop-up when failing to rename a project (#6366)
  Small changes from Book Club issues (#6533)
  "at_least_one" flag for tokenize_to_rows (#6539)
  Benchmark Engine job runs only engine, not Enso benchmarks (#6534)
  Catch 5813 and avoid crash (#6585)
  Fix opening links in desktop IDE (#6507)
  Identify SyntaxError exception and avoid printing a stack trace (#6574)
  Fix dashboard issues (#6502)
  Let ChangesetBuilder.invalidated search even container elements (#6548)
  Fix #5075: stop panning on full-screen visualisation (#6530)
  Only `Join_Kind.Inner` removes the common-named columns (#6564)
  ...
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
CI: No changelog needed Do not require a changelog entry for this PR. CI: Ready to merge This PR is eligible for automatic merge
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants