safely exiting in case of error

pull/1421/head
reloadman 2024-04-26 17:14:44 +05:00 committed by GitHub
parent e6926449ee
commit d2f7e8d597
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() {