Add timestamp to session log header

This commit is contained in:
Andy Stewart
2023-06-03 10:09:53 +01:00
parent 621b9e77ff
commit a483abb5fc

View File

@@ -77,7 +77,7 @@ function! gitgutter#debug#log(message, ...) abort
if s:new_log_session if s:new_log_session
let s:start = reltime() let s:start = reltime()
call writefile(['==== start log session ===='], s:log_file, 'a') call writefile(['', '========== start log session '.strftime('%d.%m.%Y %H:%M:%S').' =========='], s:log_file, 'a')
endif endif
let elapsed = reltimestr(reltime(s:start)).' ' let elapsed = reltimestr(reltime(s:start)).' '