From a502d96a860456ec5e8c96761db70f7cabb74751 Mon Sep 17 00:00:00 2001
From: Paul Martin <paul@paulsputer.com>
Date: Sat, 30 Apr 2016 04:19:14 -0400
Subject: [PATCH] Merge pull request #1073 from gitblit/1062-DocEditorUpdates
---
src/main/distrib/linux/reindex-tickets.sh | 2 +-
1 files changed, 1 insertions(+), 1 deletions(-)
diff --git a/src/main/distrib/linux/reindex-tickets.sh b/src/main/distrib/linux/reindex-tickets.sh
index 5a4fc34..8261b81 100644
--- a/src/main/distrib/linux/reindex-tickets.sh
+++ b/src/main/distrib/linux/reindex-tickets.sh
@@ -11,7 +11,7 @@
#
# --------------------------------------------------------------------------
-if [ -z $1 ]; then
+if [[ -z $1 ]]; then
echo "Please specify your baseFolder!";
echo "";
echo "usage:";
--
Gitblit v1.9.1