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

Aborting of all discovery immediately #2892

Closed
wants to merge 20 commits into from

Conversation

Sanan07
Copy link
Contributor

@Sanan07 Sanan07 commented May 10, 2021

Description

Abort all ongoing discovery if aborting was requested. Fix aborting flow.

@Sanan07 Sanan07 requested a review from cvpoienaru May 11, 2021 12:12
@nohwnd
Copy link
Member

nohwnd commented May 11, 2021

I saw that there are changes to public api. Want to revisit this before merge.

Copy link
Contributor

@Haplois Haplois left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Some comments on modified public APIs.

@Sanan07
Copy link
Contributor Author

Sanan07 commented May 11, 2021

Closing this as will create new PR with small change.

@Sanan07 Sanan07 closed this May 11, 2021
@nohwnd
Copy link
Member

nohwnd commented May 12, 2021

Why though? PR is a pointer to a branch, you could have just pushed the change to this branch.

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.

3 participants