Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Close the files after comparing them. #17

Open
wants to merge 1 commit into
base: master
Choose a base branch
from
Open

Close the files after comparing them. #17

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
18 changes: 13 additions & 5 deletions src/util.ml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -373,15 +373,23 @@ let move_file src dst =
end

let same_content_files file1 file2 : bool =
(Sys.file_exists file1) && (Sys.file_exists file2) &&
(Sys.file_exists file1) && (Sys.file_exists file2) &&
begin
let s1 = Stream.of_channel (open_in_bin file1) in
let s2 = Stream.of_channel (open_in_bin file2) in
let o1 = open_in_bin file1 in
let o2 = open_in_bin file2 in
let s1 = Stream.of_channel o1 in
let s2 = Stream.of_channel o2 in
let stream_is_empty s = (try Stream.empty s; true with Stream.Failure -> false) in
try
try
while ((Stream.next s1) = (Stream.next s2)) do () done;
close_in o1;
close_in o2;
false
with Stream.Failure -> stream_is_empty s1 && stream_is_empty s2
with Stream.Failure ->
let b = stream_is_empty s1 && stream_is_empty s2 in
close_in o1;
close_in o2;
b
end

let absolute_dir dir =
Expand Down