From f4519c0aa35d507fd54664fbdcacacc8240815ed Mon Sep 17 00:00:00 2001 From: David Ostrovsky <david@ostrovsky.org> Date: Tue, 17 Jun 2014 08:44:08 -0400 Subject: [PATCH] Update Jetty version to 9.2.1.v20140609 --- src/main/java/com/gitblit/manager/IRepositoryManager.java | 17 +++++++++++++++++ 1 files changed, 17 insertions(+), 0 deletions(-) diff --git a/src/main/java/com/gitblit/manager/IRepositoryManager.java b/src/main/java/com/gitblit/manager/IRepositoryManager.java index fd5fc14..f5cf03f 100644 --- a/src/main/java/com/gitblit/manager/IRepositoryManager.java +++ b/src/main/java/com/gitblit/manager/IRepositoryManager.java @@ -159,6 +159,14 @@ void resetRepositoryListCache(); /** + * Reset all caches for this repository. + * + * @param repositoryName + * @since 1.5.1 + */ + void resetRepositoryCache(String repositoryName); + + /** * Returns the list of all repositories available to Gitblit. This method * does not consider user access permissions. * @@ -331,6 +339,15 @@ void updateConfiguration(Repository r, RepositoryModel repository); /** + * Returns true if the repository can be deleted. + * + * @param model + * @return true if the repository can be deleted + * @since 1.6.0 + */ + boolean canDelete(RepositoryModel model); + + /** * Deletes the repository from the file system and removes the repository * permission from all repository users. * -- Gitblit v1.9.1