Merge pull request #5459 from edwintorok/private/edvint/redo_report

redo_log: report redo log as broken if we cannot find the block device
xapi-project · Apr 15, 2024 · c9bb1f2 · c9bb1f2
2 parents 560ff8c + 1fdb4ba
commit c9bb1f2
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/ocaml/database/redo_log.ml b/ocaml/database/redo_log.ml
@@ -642,7 +642,8 @@ let startup log =
           ) ;
           match !(log.device) with
           | None ->
-              D.info "Could not find block device"
+              D.info "Could not find block device" ;
+              broken log
           | Some device ->
               D.info "Using block device at %s" device ;
               (* Check that the block device exists *)