#!/bin/sh

TIME=0

LABEL=`basename $0`
sed -e 's/^/'"$LABEL"': /g'

if [ "$TIME" != 0 ] ; then
  sleep $TIME
fi
exit 0
