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

Optionally disable Push metrics #74

Open
picaoao opened this issue Aug 18, 2020 · 1 comment
Open

Optionally disable Push metrics #74

picaoao opened this issue Aug 18, 2020 · 1 comment
Assignees
@HJianBo
Labels
enhancement
Milestone
4.2-rc.3

Comments

@picaoao
Copy link

picaoao commented Aug 18, 2020

In case we wish to work only on a pull model, we don't have a way of disabling the push timer.
It would be great there would be an option to disable the push in case we don't want.
@HJianBo
Copy link
Member

HJianBo commented Aug 20, 2020

Hi @picaoao The pull mode implemented on v4.2-beta.1

see:#71

@HJianBo HJianBo self-assigned this Aug 20, 2020
@HJianBo HJianBo mentioned this issue Sep 1, 2020
Merged
@HJianBo HJianBo added this to the 4.2-rc.3 milestone Sep 1, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@HJianBo HJianBo

Labels
enhancement
Projects
None yet
Milestone
4.2-rc.3
Development

No branches or pull requests
2 participants
@HJianBo @picaoao