#! /bin/sh TMP=/tmp if [ -d $TMP/server ];then TMP=$TMP/server fi DIR=$TMP/gdb.d mkdir -p $DIR i=0 while true;do FILE=$DIR/`printf %02d $i` if ! test -f $FILE.in;then break fi i=$[$i+1] done if [ "$*" != --version ];then tee $FILE.in;fi | "$0"-orig "$@" | tee $FILE.out