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

do not turn off metrics when no GUI #1005

Merged
merged 1 commit into from Feb 4, 2015

Conversation

doutriaux1
Copy link
Contributor

No description provided.

@doutriaux1
Copy link
Contributor Author

@aashish24 should be easy merger

@doutriaux1 doutriaux1 force-pushed the issue_996_metrics_off_if_no_gui branch from bd18469 to 0126bed Compare February 2, 2015 22:20
@doutriaux1
Copy link
Contributor Author

@aashish24 did you get a chance to look at this?

@aashish24
Copy link
Contributor

Looking at it now.

@aashish24
Copy link
Contributor

LGTM 👍

aashish24 added a commit that referenced this pull request Feb 4, 2015
@aashish24 aashish24 merged commit 322bc9b into master Feb 4, 2015
@aashish24 aashish24 deleted the issue_996_metrics_off_if_no_gui branch February 4, 2015 16:49
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.

None yet

2 participants