KKostya
6/12/2018 - 4:09 PM

fix_engine_mode.ml

type fix_engine_mode =    
  | NoActiveSession  
  | LogonInitiated 
  | ActiveSession
  | GapDetected
  | Recovery
  | CacheReplay        
  | Retransmit           
  | LogoffReceived                  
  | ShutdownInitiated         
  | WaitingForHeartbeat 
  | Error