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

Bugfix/xquery empty regions #17

Merged
merged 2 commits into from
May 31, 2017
Merged

Bugfix/xquery empty regions #17

merged 2 commits into from
May 31, 2017

Conversation

pralitp
Copy link
Contributor

@pralitp pralitp commented May 31, 2017

Fix for issue #16. The fix was really in the model interface and was pretty straight forward but it shows up here as just a new version of the ModelInterface.jar. Note I also added a test case to ensure this issue doesn't reappear.

region list, which should indicate query all regions, was causing an
error for XQuery style queries.  This closes #16.
@pralitp pralitp requested a review from rplzzz May 31, 2017 16:08
Copy link
Contributor

@rplzzz rplzzz left a comment

Choose a reason for hiding this comment

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

The fix looks straightforward. Should be all set to merge once the CI finishes running.

@codecov
Copy link

codecov bot commented May 31, 2017

Codecov Report

Merging #17 into master will not change coverage.
The diff coverage is n/a.

@@           Coverage Diff           @@
##           master      #17   +/-   ##
=======================================
  Coverage   92.15%   92.15%           
=======================================
  Files           5        5           
  Lines         446      446           
=======================================
  Hits          411      411           
  Misses         35       35

@pralitp pralitp merged commit 9a64da8 into master May 31, 2017
@pralitp pralitp deleted the bugfix/xquery-empty-regions branch May 31, 2017 16:58
@rplzzz
Copy link
Contributor

rplzzz commented May 31, 2017

Not sure why this didn't close automatically on merge.

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