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.

Sign up for GitHub

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

Jump to bottom

Ensure sessions are correctly deleted from ETS by passing the pid along #558

Merged
merged 5 commits into from
Aug 1, 2020
Merged

Ensure sessions are correctly deleted from ETS by passing the pid along #558

merged 5 commits into from
Aug 1, 2020

Commits on Jul 31, 2020

  1. Ensure sessions are correctly deleted from ETS by passing the pid along

    bobwaycott committed Jul 31, 2020
    Configuration menu
    Copy the full SHA
    4d3bf54 View commit details
    Browse the repository at this point in the history

  2. Clean up query & return values to focus only on what is used & needed… 

    … in return
    bobwaycott committed Jul 31, 2020
    Configuration menu
    Copy the full SHA
    984881b View commit details
    Browse the repository at this point in the history

  3. Add a couple simple tests to verify sessions are added and removed fr… 

    …om the ETS table on monitor/demonitor calls, as expected
    bobwaycott committed Jul 31, 2020
    Configuration menu
    Copy the full SHA
    4b38c5a View commit details
    Browse the repository at this point in the history

  4. drop unused import

    bobwaycott committed Jul 31, 2020
    Configuration menu
    Copy the full SHA
    bae1db4 View commit details
    Browse the repository at this point in the history

  5. fix test string from duplicating

    bobwaycott committed Jul 31, 2020
    Configuration menu
    Copy the full SHA
    23e7e77 View commit details
    Browse the repository at this point in the history