+LOG=timing1.log
+
+rm -f $LOG
+
+echo " init..." >>$LOG
+rm -f $pp/records/esdd000[12].grs # these should not be here, will be created later
+../../index/zebraidx -c $pp/zebra2.cfg -l $LOG init || exit 1
+
+echo " killing old server (if any)..." >>$LOG