#!/bin/sh echo "Purging playerfile, please wait..." chdir lib/misc echo `date` >> DELETED ../../bin/purgeplay players >> DELETED if [ ! -s players.new ] then mv players players.old mv players.new players fi echo "Done." chdir ../plrobjs purgeobjs chdir ../..
This archive was generated by hypermail 2b30 : 12/07/00 PST