M20210712c: fix rollback

This commit is contained in:
Reynir Björnsson 2021-09-06 14:40:04 +02:00 committed by Robur
parent 10f78877e9
commit 3fe6e83300

View file

@ -137,6 +137,12 @@ let console_to_string console =
let console_of_string data = let console_of_string data =
let lines = String.split_on_char '\n' data in let lines = String.split_on_char '\n' data in
(* remove last empty line *)
let lines =
match List.rev lines with
| "" :: lines -> List.rev lines
| _ -> lines
in
let console = List.map (fun line -> let console = List.map (fun line ->
match String.split_on_char ':' line with match String.split_on_char ':' line with
| ts :: tail -> | ts :: tail ->