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

[browser] logging and exit improvements #93472

Merged
merged 8 commits into from
Nov 1, 2023

Commits on Oct 27, 2023

  1. rebase and more changes

    pavelsavara committed Oct 27, 2023
    Configuration menu
    Copy the full SHA
    b56b791 View commit details
    Browse the repository at this point in the history
  2. nodeJS flush max 1000ms

    pavelsavara committed Oct 27, 2023
    Configuration menu
    Copy the full SHA
    a5e8199 View commit details
    Browse the repository at this point in the history

Commits on Oct 30, 2023

  1. fix node flush

    pavelsavara committed Oct 30, 2023
    Configuration menu
    Copy the full SHA
    ed9fe7f View commit details
    Browse the repository at this point in the history
  2. argh

    pavelsavara committed Oct 30, 2023
    Configuration menu
    Copy the full SHA
    5de158e View commit details
    Browse the repository at this point in the history

Commits on Oct 31, 2023

  1. Configuration menu
    Copy the full SHA
    8564e33 View commit details
    Browse the repository at this point in the history
  2. emscripten_force_exit

    pavelsavara committed Oct 31, 2023
    Configuration menu
    Copy the full SHA
    a6b2b61 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    5ef19fd View commit details
    Browse the repository at this point in the history

Commits on Nov 1, 2023

  1. Merge branch 'main' into browser_logging_improvements

    # Conflicts:
    #	src/mono/wasm/test-main.js
    pavelsavara committed Nov 1, 2023
    Configuration menu
    Copy the full SHA
    3bb35fb View commit details
    Browse the repository at this point in the history