From 44f6ff428da95cc1d9e65ef0294a538155d4722a Mon Sep 17 00:00:00 2001 From: Philipp Gesang Date: Thu, 19 Jul 2018 20:26:38 +0200 Subject: trim path off executable name for syslog tag --- context_mirror_bot.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- cgit v1.2.3