[rdf4j-dev] delete repository bug in 4.1.0?

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

[rdf4j-dev] delete repository bug in 4.1.0?

From: Matthew Nguyen <nguyenm9@xxxxxxx>
Date: Tue, 23 Aug 2022 21:08:03 +0000 (UTC)
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>

Hey folks, I'm looking at: https://github.com/eclipse/rdf4j/blob/main/core/repository/manager/src/main/java/org/eclipse/rdf4j/repository/manager/RepositoryManager.java#L277 and wondering when we should physically remove the repo? looks like it just removes it from the cache with no hooks to remove it from the db. Is it suppose to happen in the repository.shutDown() logic now or is this a bug?

matt

Follow-Ups:
- Re: [rdf4j-dev] delete repository bug in 4.1.0?
  - From: Jeen Broekstra

References:
- [rdf4j-dev] 4.1.0 is out the door
  - From: Håvard Ottestad
- Re: [rdf4j-dev] 4.1.0 is out the door
  - From: Jeen Broekstra
- Re: [rdf4j-dev] 4.1.0 is out the door
  - From: Andreas Schwarte
- Re: [rdf4j-dev] 4.1.0 is out the door
  - From: jerven Bolleman

Prev by Date: [rdf4j-dev] Jenkins build is back to normal : rdf4j-develop-deploy #925
Next by Date: Re: [rdf4j-dev] delete repository bug in 4.1.0?
Previous by thread: Re: [rdf4j-dev] 4.1.0 is out the door
Next by thread: Re: [rdf4j-dev] delete repository bug in 4.1.0?
Index(es):
- Date
- Thread

Breadcrumbs