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

Added monitoring to gen_server:call and gen_server:stop #714

Merged
merged 1 commit into from
Jul 30, 2023

Conversation

fadushin
Copy link
Collaborator

This PR adds monitoring to gen_server:call and gen_server:stop to properly handle error and race conditions.

These changes are made under both the "Apache 2.0" and the "GNU Lesser General
Public License 2.1 or later" license terms (dual license).

SPDX-License-Identifier: Apache-2.0 OR LGPL-2.1-or-later

@fadushin fadushin marked this pull request as ready for review July 30, 2023 02:15
libs/estdlib/src/gen_server.erl Outdated Show resolved Hide resolved
libs/estdlib/src/gen_server.erl Show resolved Hide resolved
libs/estdlib/src/gen_server.erl Outdated Show resolved Hide resolved
@fadushin fadushin force-pushed the gen_server-monitor branch 2 times, most recently from 592ab32 to f1c8505 Compare July 30, 2023 17:17
@fadushin fadushin requested a review from pguyot July 30, 2023 17:19
…dle error and race conditions.

Signed-off-by: Fred Dushin <fred@dushin.net>
@fadushin fadushin merged commit e1ed291 into atomvm:master Jul 30, 2023
72 checks passed
@fadushin fadushin deleted the gen_server-monitor branch October 30, 2023 17:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants