2016-01-31 10:20:11 +00:00
|
|
|
#!/usr/bin/env bash
|
|
|
|
|
|
|
|
if [ -z "${SEEDDMS_HOME}" ]; then
|
|
|
|
echo 'Please set $SEEDDMS_HOME before running this script'
|
|
|
|
exit 1
|
2016-01-19 14:24:23 +00:00
|
|
|
fi
|
2016-01-31 10:20:11 +00:00
|
|
|
|
|
|
|
exec php -f "${SEEDDMS_HOME}/utils/indexer.php" -- "${@}"
|