Still disconnected here at 12:20 EDT. And I have a short ES position on! They gave like no warning before they shut it down! A few minutes to manage positions would have been nice.
Edit: at least they picked a relatively quiet time in the market to do this... (lucky!)