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

GH-1156 bump jline version #2543

Conversation

barthanssens
Copy link
Contributor

Signed-off-by: Bart Hanssens bart.hanssens@bosa.fgov.be

GitHub issue resolved: #1156

Briefly describe the changes proposed in this PR:

Upgrade jline dependency to version 3.16


PR Author Checklist (see the contributor guidelines for more details):

  • my pull request is self-contained
  • I've added tests for the changes I made
  • I've applied code formatting (you can use mvn process-resources to format from the command line)
  • every commit message starts with the issue number (GH-xxxx) followed by a meaningful description of the change
  • every commit has been signed off

Note: we merge all feature pull requests using squash and merge. See RDF4J git merge strategy for more details.

Signed-off-by: Bart Hanssens <bart.hanssens@bosa.fgov.be>
@abrokenjester
Copy link
Contributor

Wow, that build failure looks scary - vm crash. Might that be due to those memory problems you mentioned on the issue ticket?

@barthanssens
Copy link
Contributor Author

It might be. "Funny" thing, the tests were all green in Netbeans on my Windows laptop, so it might have something to do with 'dumb' terminal vs a fully functional one...

@abrokenjester abrokenjester linked an issue Oct 26, 2020 that may be closed by this pull request
1 task
@abrokenjester
Copy link
Contributor

@barthanssens given the scary error and the lack of a path forward, should we just close this for now?

@barthanssens
Copy link
Contributor Author

Yeah I think the path forward is actually a more or less full rewrite (see #1394).
I'll close / consolidate a console few issues under 1394

@barthanssens barthanssens deleted the GH-1156-console-jline-update branch December 16, 2021 10:08
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.

Console: upgrade JLine dependency
2 participants