Merged #177 "Disable permission checkboxes if permission is inherited"

James Moger

2014-09-11 1a44e0afdbcf3b45347c248b0b1decd5853bf69c

 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:";