Ignore more git platform errors

This commit is contained in:
Vishesh Handa
2019-11-01 23:06:43 +01:00
parent 3cf951f8dd
commit 7450f06a08

View File

@ -17,12 +17,18 @@ bool shouldIgnorePlatformException(PlatformException ex) {
if (msg.contains("failed to connect to")) {
return true;
}
if (msg.contains("No address associated with hostname")) {
if (msg.contains("no address associated with hostname")) {
return true;
}
if (msg.contains("failed to connect to")) {
return true;
}
if (msg.contains("unauthorized")) {
return true;
}
if (msg.contains("failed to start ssh session")) {
return true;
}
return false;
}