MV ERROR_DBLINK

2019-05-12 00:03:26 +02:00
parent 45135bf695
commit a3614030c8
3 changed files with 5 additions and 2 deletions
--- a/tools/db/update-file-state
+++ b/tools/db/update-file-state
@ -58,7 +58,7 @@ function main() {
    #db checks
    [ "$(db_check)" == $FALSE ] && {
        echo "DB ERROR!!" >&2
-        exit 1
+        exit $ERROR_DBLINK
    }

    #clean DB from old stuff