Skip to content
Snippets Groups Projects
Select Git revision
No matching results
An error occurred while fetching branches. Retry the search.
An error occurred while fetching tags. Retry the search.
Blame Permalink
  • Giovanni Bussi's avatar
    47a8a418
    Fixed problem with log file · 47a8a418
    Giovanni Bussi authored 
    When the log file is chosen by name (cmd("setLogFile"...))
there was a problem due to an apparent double initialization
of log file. Now, logfile is open when cmd("setLogFile"...)
and, in case it is still not open when cmd("init") is called,
it is opened to stdout
    47a8a418
    History
    Fixed problem with log file
    Giovanni Bussi authored 
    When the log file is chosen by name (cmd("setLogFile"...))
there was a problem due to an apparent double initialization
of log file. Now, logfile is open when cmd("setLogFile"...)
and, in case it is still not open when cmd("init") is called,
it is opened to stdout
Code owners
Assign users and groups as approvers for specific file changes. Learn more.