PC61 with badip will now also stop following PC11s
[spider.git] / examples /
1998-12-21 djkadded examples