pgrx_pg_sys::SessionEndType

Constant DISCONNECT_KILLED

Source 
pub const DISCONNECT_KILLED: Type = 4;