git://git.onelab.eu
/
vsys.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Bug squashes
[vsys.git]
/
main.ml
diff --git
a/main.ml
b/main.ml
index
a70a473
..
bbc9b06
100644
(file)
--- a/
main.ml
+++ b/
main.ml
@@
-51,7
+51,7
@@
let _ =
input_file_list:=List.concat [!input_file_list;frontends]
end;
input_file_list:=List.concat [!input_file_list;frontends]
end;
- let felst = List.map (fun lst->let (x,y)=lst in
printf
"Slice %s (%s)\n" x y;flush logfd;new frontendHandler lst) !input_file_list in
+ let felst = List.map (fun lst->let (x,y)=lst in
fprintf logfd
"Slice %s (%s)\n" x y;flush logfd;new frontendHandler lst) !input_file_list in
let _ = new backendHandler !Globals.backend felst in
Fdwatcher.start_watch ()
end
let _ = new backendHandler !Globals.backend felst in
Fdwatcher.start_watch ()
end