[rdf4j-dev] Minor bug

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]

[rdf4j-dev] Minor bug

From: Håvard Ottestad <hmottestad@xxxxxxxxx>
Date: Tue, 26 Jan 2021 16:32:08 +0100
Delivered-to: rdf4j-dev@xxxxxxxxxxx
List-archive: <https://www.eclipse.org/mailman/private/rdf4j-dev/>
List-help: <mailto:rdf4j-dev-request@eclipse.org?subject=help>
List-subscribe: <https://www.eclipse.org/mailman/listinfo/rdf4j-dev>, <mailto:rdf4j-dev-request@eclipse.org?subject=subscribe>
List-unsubscribe: <https://www.eclipse.org/mailman/options/rdf4j-dev>, <mailto:rdf4j-dev-request@eclipse.org?subject=unsubscribe>

Hi,

Ontotext has reported a minor bug, but it’s a bit finicky since it’s got to do with concurrency. 

I’ll make an issue and a fix, but writing a test will be hard. So I’ll document the code instead. It’s a simple fix. 

After that I want to publish 3.5.1. So it would be great with quick feedback on the PR. I’ll put it up tonight. 

Håvard

Follow-Ups:
- Re: [rdf4j-dev] Minor bug
  - From: Jeen Broekstra

Prev by Date: [rdf4j-dev] Jenkins build is back to normal : rdf4j-master-deploy #471
Next by Date: Re: [rdf4j-dev] Minor bug
Previous by thread: [rdf4j-dev] Build failed in Jenkins: rdf4j-master-deploy #470
Next by thread: Re: [rdf4j-dev] Minor bug
Index(es):
- Date
- Thread

Breadcrumbs