| commit | 827564a5c7b3cd99e7f0f2bc3ad35230cbef5d49 | |
| author | Gabe Levi <gabe@fb.com> | |
| Wed, 1 Nov 2017 20:49:06 +0000 (1 13:49 -0700) | ||
| committer | Hhvm Bot <hhvm-bot@users.noreply.github.com> | |
| Wed, 1 Nov 2017 21:08:37 +0000 (1 14:08 -0700) | ||
| tree | ddf4e11fcc75497cc51fc3550a7f25c944dcf580 | treesnapshot (tar.gz zip) |
| parent | 2fc0b37697e16f0799005f0f7ad3fc892c11c5dd | commitdiff |
Hh_logger.Level.passes_min_level
Summary: I'm working with Lwt, which has its own logging library, but I want it to respect Hh_logger levels. I'm exposing this API to allow other code to decide whether or not a particular level would log.
Reviewed By: samwgoldman
Differential Revision: D6209946
fbshipit-source-id: ce3d2325f9fd653cdb99fb4c21fc15bf0eb7999d
Summary: I'm working with Lwt, which has its own logging library, but I want it to respect Hh_logger levels. I'm exposing this API to allow other code to decide whether or not a particular level would log.
Reviewed By: samwgoldman
Differential Revision: D6209946
fbshipit-source-id: ce3d2325f9fd653cdb99fb4c21fc15bf0eb7999d
| hphp/hack/src/utils/hh_logger.ml | diffblobblamehistory |