From 6ec71bc27f23c89f84bfb662ce180af3a9691dd8 Mon Sep 17 00:00:00 2001
From: James Moger <james.moger@gitblit.com>
Date: Mon, 27 Oct 2014 10:46:05 -0400
Subject: [PATCH] Fix PluginManager not properly respecting --noverify
---
src/main/java/com/gitblit/manager/IManager.java | 12 ++++++++++++
1 files changed, 12 insertions(+), 0 deletions(-)
diff --git a/src/main/java/com/gitblit/manager/IManager.java b/src/main/java/com/gitblit/manager/IManager.java
index 115831b..44df5cd 100644
--- a/src/main/java/com/gitblit/manager/IManager.java
+++ b/src/main/java/com/gitblit/manager/IManager.java
@@ -17,8 +17,20 @@
public interface IManager {
+ /**
+ * Start the manager.
+ *
+ * @return the manager
+ * @since 1.4.0
+ */
IManager start();
+ /**
+ * Stop the manager.
+ *
+ * @return the manager
+ * @since 1.4.0
+ */
IManager stop();
}
--
Gitblit v1.9.1