From 74b571fc77561c74d592084905db54930cda9e5a Mon Sep 17 00:00:00 2001 From: OmarHatem Date: Tue, 7 Feb 2023 22:11:25 +0200 Subject: [PATCH] Add exceptions for user errors --- lib/utils/exception_handler.dart | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/lib/utils/exception_handler.dart b/lib/utils/exception_handler.dart index 5a481cf42..a4df85a7b 100644 --- a/lib/utils/exception_handler.dart +++ b/lib/utils/exception_handler.dart @@ -121,6 +121,10 @@ class ExceptionHandler { return error.contains("errno = 103") || // SocketException: Software caused connection abort error.contains("errno = 9") || // SocketException: Bad file descriptor error.contains("errno = 32") || // SocketException: Write failed (OS Error: Broken pipe) - error.contains("errno = 54"); // SocketException: Connection reset by peer + error.contains("errno = 60") || // SocketException: Operation timed out + error.contains("errno = 54") || // SocketException: Connection reset by peer + error.contains("errno = 49") || // SocketException: Can't assign requested address + error.contains("PERMISSION_NOT_GRANTED") || + error.contains("errno = 28"); // OS Error: No space left on device } }