From a5c69b6b7070c7cac977f2e837e81a17a208b3d5 Mon Sep 17 00:00:00 2001
From: James Moger <james.moger@gitblit.com>
Date: Fri, 15 Nov 2013 16:43:38 -0500
Subject: [PATCH] Improve pages servlet
---
src/main/distrib/linux/service-centos.sh | 1 +
1 files changed, 1 insertions(+), 0 deletions(-)
diff --git a/src/main/distrib/linux/service-centos.sh b/src/main/distrib/linux/service-centos.sh
index 04c9a9b..5276104 100644
--- a/src/main/distrib/linux/service-centos.sh
+++ b/src/main/distrib/linux/service-centos.sh
@@ -39,6 +39,7 @@
force-reload|restart)
$0 stop
+ sleep 5
$0 start
;;
--
Gitblit v1.9.1