[Commits] [wesnoth/wesnoth] def724: wmllint: fixed an error when trying to check if a ...

[GitHub]

  Branch: refs/heads/master
  Home:   https://github.com/wesnoth/wesnoth
  Commit: def724816f8ca8839b419303a71bbdce12a7c804
      https://github.com/wesnoth/wesnoth/commit/def724816f8ca8839b419303a71bbdce12a7c804
  Author: Elvish_Hunter <elvish.hunter2010 at gmail.com>
  Date:   2015-08-25 (Tue, 25 Aug 2015)

  Changed paths:
    M data/tools/wesnoth/wmltools.py

  Log Message:
  -----------
  wmllint: fixed an error when trying to check if a file is a savegame

The error was caused by the fact that opening a file with codecs.open() is much stricter than using open(mode=rb), and throws a UnicodeDecodeError if a file can't be read as UTF-8 - which is the case for binary files.