diff options
| author | Philipp Gesang <phg@phi-gamma.net> | 2018-07-19 20:26:38 +0200 |
|---|---|---|
| committer | Philipp Gesang <phg@phi-gamma.net> | 2018-07-19 20:26:38 +0200 |
| commit | 44f6ff428da95cc1d9e65ef0294a538155d4722a (patch) | |
| tree | d4377a16b04ef5b9ace3c3805f37d9ef9c2e34e0 | |
| parent | e54c1dc3ad9bf28df44cd8aaca317c01b3846c70 (diff) | |
| download | context-mirror-bot-44f6ff428da95cc1d9e65ef0294a538155d4722a.tar.gz | |
trim path off executable name for syslog tag
| -rw-r--r-- | context_mirror_bot.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/context_mirror_bot.ml b/context_mirror_bot.ml index c02c943..9c0fc97 100644 --- a/context_mirror_bot.ml +++ b/context_mirror_bot.ml @@ -194,7 +194,7 @@ let msg ?lev:(lev=0) str = let err str = Printf.eprintf "[bot %s: error] %s\n%!" (timestamp ()) str -let logger = Syslog.openlog Sys.argv.(0);; +let logger = Filename.basename Sys.argv.(0) |> Syslog.openlog ;; let log_info msg = Syslog.syslog logger `LOG_INFO msg |