[Greasemonkey] forcing refresh

[Dave Land]

On Dec 9, 2005, at 1:20 PM, Anthony Lieuallen wrote:

> On 12/9/2005 4:16 PM, Dave Land wrote:
>> This has been my experience as well. In trying to do just the   
>> opposite -- to force PHPMyAdmin to refresh periodically and  
>> prevent  session timeouts -- I had no luck.
>
> ... http://blog.monstuff.com/archives/images/AutoReload.user.js

A good thing this is. Thank you, Anthony!

I wrote a very little script that reloads the top-left frame of  
phpMyAdmin every minute, but haven't left it running for the 30  
minutes or so it normally takes for phpMyAdmin to give up on me...  
I'll try it out this weekend and post the script somewhere if folks  
are interested.

Dave