2019-05-27 10:33:22 -07:00
|
|
|
#!/bin/bash
|
|
|
|
|
EXPLORER_PATH=$(dirname $(dirname $(readlink -f "$0")))
|
|
|
|
|
if [ -f "${EXPLORER_PATH}/tmp/index.pid" ];
|
|
|
|
|
then
|
|
|
|
|
ps -p `cat ${EXPLORER_PATH}/tmp/index.pid` > /dev/null
|
|
|
|
|
if [ $? -eq 0 ]; then
|
|
|
|
|
exit 1
|
|
|
|
|
else
|
|
|
|
|
rm "${EXPLORER_PATH}/tmp/index.pid"
|
|
|
|
|
fi
|
|
|
|
|
fi
|
|
|
|
|
if [ -z "${1}" ]; then
|
2019-10-01 19:41:58 -06:00
|
|
|
eval "cd ${EXPLORER_PATH} && $(which node) scripts/sync.js index update"
|
2019-05-27 10:33:22 -07:00
|
|
|
else
|
2019-10-01 19:41:58 -06:00
|
|
|
eval "cd ${EXPLORER_PATH} && ${1} scripts/sync.js index update"
|
2019-05-27 10:33:22 -07:00
|
|
|
fi
|
