mirror of
https://bitbucket.org/jsuto/piler.git
synced 2024-12-25 08:10:12 +01:00
indexer fixes
This commit is contained in:
parent
19efbef715
commit
ab2985a83e
@ -1,8 +1,9 @@
|
||||
#!/bin/bash
|
||||
|
||||
export PATH=/bin:/sbin:/usr/bin:/usr/sbin:/usr/local/bin:/usr/local/sbin
|
||||
MAINTMPFILE=/var/run/piler/main.indexer.tmp
|
||||
DELTATMPFILE=/var/run/piler/delta.indexer.tmp
|
||||
INDEXER=`which indexer`
|
||||
INDEXER=indexer
|
||||
PRIORITY=mail.error
|
||||
|
||||
if [ -f $MAINTMPFILE ]; then echo "INDEXER ERROR: indexer merging to main index is already running. It started at "`cat $MAINTMPFILE` | logger -p $PRIORITY ; exit 1; fi
|
||||
|
@ -1,8 +1,8 @@
|
||||
#!/bin/bash
|
||||
|
||||
export PATH=/bin:/sbin:/usr/bin:/usr/sbin:/usr/local/bin:/usr/local/sbin
|
||||
MAINTMPFILE=/var/run/piler/main.indexer.tmp
|
||||
#MAINTMPFILE=/tmp/main.indexer.tmp
|
||||
INDEXER=`which indexer`
|
||||
INDEXER=indexer
|
||||
PRIORITY=mail.error
|
||||
|
||||
if [ -f $MAINTMPFILE ]; then echo "INDEXER ERROR: indexer merging to main index is already running. It started at "`cat $MAINTMPFILE` | logger -p $PRIORITY ; exit 1; fi
|
||||
|
Loading…
Reference in New Issue
Block a user