Revision 61df3cb9
Added by Pierre-Loïc Garoche about 4 years ago
| src/log.ml | ||
|---|---|---|
| 9 | 9 |
(* *) |
| 10 | 10 |
(********************************************************************) |
| 11 | 11 |
|
| 12 |
let report ~level:level p = |
|
| 13 |
if !Options.verbose_level >= level then |
|
| 12 |
let report ?(plugins="") ?(verbose_level=Options.verbose_level) ~level:level p = |
|
| 13 |
let plugins = if plugins = "" then plugins else plugins ^ " " in |
|
| 14 |
if !verbose_level >= level then |
|
| 14 | 15 |
begin |
| 15 |
Format.eprintf "%t" p;
|
|
| 16 |
Format.eprintf "%s%t" plugins p;
|
|
| 16 | 17 |
(* Removed the flush since it was breaking most open/close boxes *) |
| 17 | 18 |
(* Format.pp_print_flush Format.err_formatter () *) |
| 18 | 19 |
end |
Also available in: Unified diff
Reformating plugin signatures. Better report management