autorefresh spider.php
 

i think that it will be very useful to autorefresh page spider.php
on my server spider is'nt working property, set_time_limit does not working and script indexing just few pages (1 or 2)

i think that autorefresh is can resolve this trouble.