From a2da17d48a35db1401396435da3949d3f5fe2fa3 Mon Sep 17 00:00:00 2001
From: Keith Winstein <keithw@mit.edu>
Date: Mon, 26 Nov 2012 04:15:53 -0500
Subject: [PATCH] Don't immediately clear network exceptions, even when problem
 solved

---
 src/frontend/terminaloverlay.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/frontend/terminaloverlay.h b/src/frontend/terminaloverlay.h
index 8800fc0..e196019 100644
--- a/src/frontend/terminaloverlay.h
+++ b/src/frontend/terminaloverlay.h
@@ -186,7 +186,7 @@ namespace Overlay {
     void clear_network_exception()
     {
       if ( message_is_network_exception ) {
-        set_notification_string( wstring( L"" ) );
+	message_expiration = std::min( message_expiration, timestamp() + 1000 );
       }
     }