Merge pull request #24 from azat-ch/replxx-dtor-uncaught-exception

Fix uncaught exception from ReplxxImpl dtor
ClickHouse · Sep 9, 2022 · 5d04501 · 5d04501
2 parents 3fd0e3c + 920e009
commit 5d04501
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/src/replxx_impl.cxx b/src/replxx_impl.cxx
@@ -332,7 +332,12 @@ Replxx::ReplxxImpl::ReplxxImpl( FILE*, FILE*, FILE* )
 }
 
 Replxx::ReplxxImpl::~ReplxxImpl( void ) {
-	disable_bracketed_paste();
+	try {
+		disable_bracketed_paste();
+	} catch ( std::runtime_error const& ) {
+		// suppress "write failed" errors (see Terminal::write8()).
+		// in case of i.e. broken pipe.
+	}
 }
 
 Replxx::ACTION_RESULT Replxx::ReplxxImpl::invoke( Replxx::ACTION action_, char32_t code ) {