Seafile.log - military timestamp

How can the logging timestamp be modified to use military time format?

  • Default it is looking like this:

tail -F seafile.log
[05/17/2018 02:44:03 PM] size-sched.c(103): Repo size compute queue size is 0

I don’t think that’s possible, only the nginx and django logs could changed.