make the time stored on dups generated locally on spots an integer no of
[spider.git] / examples /
1998-12-21 djkadded examples