I have some need to run OSPF on PIX and also try to have stateful failover between both boxes. I found that for connection with static route or connected route, the stateful failover was working well. But with OSPF running, the takeover PIX have to r...