diff options
| author | wm4 <wm4@nowhere> | 2017-05-22 18:30:39 +0200 |
|---|---|---|
| committer | wm4 <wm4@nowhere> | 2017-05-22 18:31:39 +0200 |
| commit | 25a4d10c8e75d9ff94e843d4951ab1eb2917435e (patch) | |
| tree | be6df52ee4965ce2e9583e095c5f22cc70814541 /wscript | |
| parent | 5974f575a6ac9c107afa292bd877a73a5221952b (diff) | |
| download | mpv-25a4d10c8e75d9ff94e843d4951ab1eb2917435e.tar.bz2 mpv-25a4d10c8e75d9ff94e843d4951ab1eb2917435e.tar.xz | |
player: make sure version information is always included in --log-file
If --log-file was used in config files, this could be missing due to the
exact timing when the messages are print, and when the options are
applied. Fix this by always dumping the version again when a log file is
opened.
Diffstat (limited to 'wscript')
0 files changed, 0 insertions, 0 deletions