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

JBIDE-18907 - ensure all 'externally managed' servers still have a polle... #314

Merged
merged 1 commit into from Dec 10, 2014

Conversation

@robstryker
Copy link
Member

robstryker commented Dec 10, 2014

...r run against them to verify state, which may prevent subsequent bugs in publishing, deployment scanners, etc

…ller run against them to verify state, which may prevent subsequent bugs in publishing, deployment scanners, etc

Javadoc update
@robstryker robstryker force-pushed the robstryker:JBIDE-18907 branch from f575587 to af59cc4 Dec 10, 2014
@robstryker robstryker merged commit af59cc4 into jbosstools:master Dec 10, 2014
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Linked issues

Successfully merging this pull request may close these issues.

None yet

1 participant
You can’t perform that action at this time.