[Pan-users] Re: Temporarily dead server

[Bruce Bowler]

Thanks to all for your suggestions none of which, unfortunately, work.

Phil has the right idea to add a check box to ignore the server, but 
since there haven't been any updates in some large number of months (18?) 
I'm not holding my breath...

Oh well...

Bruce

-- 
+-------------------+---------------------------------------------------+
Bruce Bowler        | GUI's normally make it simple to accomplish simple 
1.207.633.9600      | actions and  impossible to accomplish complex
                    | action. - Anonymous  
+-------------------+---------------------------------------------------+