Avoid updating the hosts file if there is an error

platformsh · Dec 14, 2023 · a885fd5 · a885fd5
1 parent 0c5821f
commit a885fd5
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/scripts/update-known-hosts.php b/scripts/update-known-hosts.php
@@ -61,6 +61,7 @@
                 $scannedHosts[$host] = trim($scanner->getOutput());
             } else {
                 $stdErr->writeln(sprintf('Failed to scan host %s: %s', $host, $scanner->getErrorOutput()));
+                exit(1);
             }
             unset($scanners[$host]);
         }