Safely exiting in case of error (#1421)

pull/1426/head
reloadman 2024-04-27 18:47:25 +05:00 committed by GitHub
parent b1a7471830
commit 33783e7208
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 1 additions and 0 deletions

View File

@ -21,6 +21,7 @@ echo_c() {
die() { die() {
echo_c 31 "$1 Aborting." echo_c 31 "$1 Aborting."
reboot_system reboot_system
exit 1
} }
check_soc() { check_soc() {