# -*- shell-script -*-

# $Id$

# Author: Gerwin Klein, NICTA

#

# DESCRIPTION: common settings for the isatest-* scripts

# source bashrc, we're called by cron

. ~/.bashrc

# canoncical home for all platforms

HOME=/home/isatest

## send email on failure to

MAILTO="kleing@cse.unsw.edu.au nipkow@in.tum.de berghofe@in.tum.de schirmer@in.tum.de lp15@cam.ac.uk makarius@sketis.net haftmann@in.tum.de krauss@in.tum.de"

LOGPREFIX=$HOME/log

MASTERLOG=$LOGPREFIX/isatest.log

LOGSERVER=macbroy23.informatik.tu-muenchen.de

ERRORDIR=$HOME/var

ERRORLOG=$ERRORDIR/error.log

RUNNING=$HOME/var/running

DISTPREFIX=$HOME/isadist

# this function avoids NFS inconsistencies with multiple writers by

# sshing to one central machine and writing locally. There is stil a

# race condition, but at least it should not corrupt a whole set of entries

# any more.

function log()

{

  MSG="$1"

  TIMESTAMP="$(date)"

  echo "[$TIMESTAMP $HOSTNAME $PRG]: $MSG" | ssh $LOGSERVER "cat >> $MASTERLOG"

}