#!/bin/sh
# Wipe out a site's data and add it to the "avoid" list.

for s
do	Ignore $s
	echo avoid $s >>BadURLs	# Note that URLs and bare domain names both work.
	rm -rf */$s
	Kill -QUIT $s	# Kill any process whose command line mentions $s
done