diff options
| author | Philipp Gesang <phg@phi-gamma.net> | 2018-07-20 19:21:46 +0200 |
|---|---|---|
| committer | Philipp Gesang <phg@phi-gamma.net> | 2018-07-20 19:21:46 +0200 |
| commit | 1f06b86a7aee14341c47377cedf2153e1405c02c (patch) | |
| tree | 23b2c28e25a0a98593b4cd644f4e4c30caba2135 | |
| parent | ce3db61a27f2c1ca234c2270c42658f23d691a75 (diff) | |
| download | context-mirror-bot-1f06b86a7aee14341c47377cedf2153e1405c02c.tar.gz | |
set executable name once
| -rw-r--r-- | context_mirror_bot.ml | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/context_mirror_bot.ml b/context_mirror_bot.ml index 62ef5e0..61d3535 100644 --- a/context_mirror_bot.ml +++ b/context_mirror_bot.ml @@ -27,6 +27,8 @@ let t_start = Unix.gettimeofday () +let self = Filename.basename Sys.argv.(0) + type context_src = { name : string; url : string; @@ -194,7 +196,7 @@ let msg ?lev:(lev=0) str = let err str = Printf.eprintf "[bot %s: error] %s\n%!" (timestamp ()) str -let logger = Filename.basename Sys.argv.(0) |> Syslog.openlog ;; +let logger = Syslog.openlog self let log_info msg = Syslog.syslog logger `LOG_INFO msg @@ -670,7 +672,7 @@ let handle_zipball = function let usage = Printf.sprintf "Usage: %s [ --check | --status | --update ] -" Sys.argv.(0) +" self let run_status () = if not (dir_exists repo_dir) then msg ("No directory at " ^ repo_dir) else |